GitHub - tanishqg5325/Graph-Subset-Mapping

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
resources_given		resources_given
A3.pdf		A3.pdf
compile.sh		compile.sh
evaluate.sh		evaluate.sh
main1.cpp		main1.cpp
main2.cpp		main2.cpp
makefile		makefile
minisat		minisat
run1.sh		run1.sh
run2.sh		run2.sh
test.encoding		test.encoding
test.graphs		test.graphs
test.mapping		test.mapping
test.satinput		test.satinput
writeup.txt		writeup.txt