8000 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 basic version of Ve 8000 rtex-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.

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

Conversation

joshuaguerin
Copy link
Owner

No description provided.

@joshuaguerin joshuaguerin requested review from gonz9032 and mads1158 June 4, 2025 23:44
@joshuaguerin joshuaguerin added the enhancement New feature or request label Jun 4, 2025
@joshuaguerin
Copy link
Owner Author

@gonz9032 I'm going to run the software but running into minor confusions. Here are your docs:

# Use:
# clingo k_vertex_cover.lp instance.lp -c n=<val> | python3 print/print.py
# clingo min_vertex_cover.lp instance.lp | python3 print/print.py
#      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.

The final pipe goes to python3--did something get omitted in the chain?

@gonz9032
Copy link
Collaborator
gonz9032 commented Jun 5, 2025

@joshuaguerin Yes, the directions for generating the pdf file using dot did not get added, I'll adjust that real quick.

@joshuaguerin
Copy link
Owner Author

Updates look good, I'm going to go ahead and merge!

@joshuaguerin joshuaguerin merged commit b313272 into master Jun 5, 2025
@joshuaguerin joshuaguerin deleted the david-Vertex-Cover branch June 5, 2025 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
0