10000 Completed basic version of Vertex-Cover printing script. by joshuaguerin · Pull Request #38 · joshuaguerin/Answer-Set-Programming-Algorithms · GitHub
[go: up one dir, main page]
Skip to content

Completed bas 8000 ic version of Vertex-Cover printing script. #38

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jun 5, 2025
Merged

Completed basic version of Vertex-Cover printing script. #38

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9927965
Completed basic version of Vertex-Cover printing script.
gonz9032 Jun 4, 2025
1db4418
Finished basic vertec_cover.lp printing algorithm.
gonz9032 Jun 5, 2025
65206e2
Removed the directory path--not really worried where the user puts th…
joshuaguerin Jun 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
78 changes: 78 additions & 0 deletions Vertex-Cover/print/print.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,78 @@
# Use:
# clingo k_vertex_cover.lp instance.lp -c n=<val> | python3 print/print.py | dot -Tpdf -o vertex_cover.pdf
# clingo min_vertex_cover.lp instance.lp | python3 print/print.py | dot -Tpdf -o vertex_cover.pdf
# where instance.lp contains node and edge predicates.
#
# Note:
# The final pipe and call to dot can be omitted if graphviz is not present.
# To be ran in previous directory where instance.lp, k_clique.lp, and max_clique.lp are.


import re


output = '''// Graph visualization using dot
strict graph {
node [color=black]
edge [color=black]

'''

# Reading in graph
instance = open("instance.lp", "r")
instance_lines = instance.readlines()

for line in instance_lines:
if line.startswith("node"):

line = re.sub(r"node\(", " ", line)
line = re.sub(r" ; ", " ", line)
line = re.sub(r"\).", "\n", line)

output += line

elif line.startswith("edge"):

line = re.sub(r"edge\(", " ", line)
line = re.sub(r", ", " -- ", line)

if " (" in line:
line = re.sub(r" \(", " {", line)
line = re.sub(r"\)\).", "}", line)

else:
line = re.sub(r"\).", "", line)

output += line

instance.close()

# Reading in clingo output
toks_last = None
toks = None
toks_next = input().split()

while not (toks_next[0].startswith("SAT") or toks_next[0].startswith("UNSAT") or toks_next[0].startswith("OPT")):
toks_last = toks
toks = toks_next
toks_next = input().split()

if toks_next[0].startswith("SAT") or toks_next[0].startswith("OPT"):
if toks_next[0].startswith("OPT"):
toks = toks_last

output += '''
subgraph cluster_0 {
style=invis

'''

for t in toks:
output += " " + t[6:-1] + " [color=red,shape=doubleoctagon]\n"

output += "\n }\n"

print(output + "}\n")

elif toks_next[0].startswith("UNSAT"):
print("No solution found.")
0