Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
2016CS50433_2016CS50789		2016CS50433_2016CS50789
Resources		Resources
a3_format_checker_scripts		a3_format_checker_scripts
2016CS50433_2016CS50789.zip		2016CS50433_2016CS50789.zip
MiniSat_v1.14_linux		MiniSat_v1.14_linux
README.md		README.md
a.out		a.out
a3_format_checker_scripts.zip		a3_format_checker_scripts.zip
aux.txt		aux.txt
checker.py		checker.py
compile.sh		compile.sh
compile2.sh		compile2.sh
generate_clauses		generate_clauses
generate_subgraphs		generate_subgraphs
inp.txt		inp.txt
mappings.txt		mappings.txt
my_sat.cpp		my_sat.cpp
my_sat1.cpp		my_sat1.cpp
my_sat2.cpp		my_sat2.cpp
out		out
run1.sh		run1.sh
run2.sh		run2.sh
sat1.txt		sat1.txt
solv		solv
subgraphs.cpp		subgraphs.cpp
subgraphs1.cpp		subgraphs1.cpp
temp.subgraphs		temp.subgraphs
test.graph		test.graph
test.satinput		test.satinput
test.satoutput		test.satoutput
test.subgraphs		test.subgraphs

Provide feedback

Saved searches