GitHub - rajatgolechha3319/COL333-A3-Sat-solver: Created a solver to convert a graph problem to a 3 sat problem and then solve that problem using minisat and return a satisfactory answer.

rajatgolechha3319 / COL333-A3-Sat-solver Public

Created a solver to convert a graph problem to a 3 sat problem and then solve that problem using minisat and return a satisfactory answer.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
A3.pdf		A3.pdf
part1.cpp		part1.cpp
part2.cpp		part2.cpp
part3.cpp		part3.cpp
run1.sh		run1.sh
run2.sh		run2.sh
test.graph		test.graph
test.mapping		test.mapping

About

Created a solver to convert a graph problem to a 3 sat problem and then solve that problem using minisat and return a satisfactory answer.

No releases published

No packages published