GitHub - kagi3624/sat · GitHub

Name		Name	Last commit message	Last commit date
README.md		README.md
a_test.cpp		a_test.cpp
a_test.hpp		a_test.hpp
asat.cpp		asat.cpp
asat.hpp		asat.hpp
cliq.cpp		cliq.cpp
cliq.hpp		cliq.hpp
cplex.cpp		cplex.cpp
cplex.hpp		cplex.hpp
gcon.cpp		gcon.cpp
gcon.hpp		gcon.hpp
int_sol.cpp		int_sol.cpp
int_sol.hpp		int_sol.hpp
main.cpp		main.cpp
old_asat.cpp		old_asat.cpp
old_asat.hpp		old_asat.hpp
randomize_prob.cpp		randomize_prob.cpp
randomize_prob.hpp		randomize_prob.hpp
rsf3.cpp		rsf3.cpp
rsf3.hpp		rsf3.hpp
sat_prob.cpp		sat_prob.cpp
sat_prob.hpp		sat_prob.hpp

Repository files navigation

#sat problem randomizer

This program randomizes and solves SAT problems for a given number of variables and clauses via Concert Technology provided by IMB's ILO CPLEX.

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages