git.libre-soc.org Git - cvc5.git/commit

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 26 Mar 2012 19:42:25 +0000 (19:42 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 26 Mar 2012 19:42:25 +0000 (19:42 +0000)
commit	6fdc62f34bb1d04b84dfd628ec16335b8f02385e
tree	44755057990ad99f6f47904a0201d33c9be18c9c	tree
parent	1ed3b1803bd0a25c56a62d290cd5dcb64c5085ce	commit \| diff

Global registry of SAT solvers, where they are registered at compile time. The available SAT solvers can be seen with the --show-sat-solvers option.

.cproject		diff \| blob \| history
src/prop/Makefile.am		diff \| blob \| history
src/prop/bvminisat/bvminisat.h		diff \| blob \| history
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/prop/sat_solver_factory.cpp		diff \| blob \| history
src/prop/sat_solver_factory.h		diff \| blob \| history
src/prop/sat_solver_registry.cpp	[new file with mode: 0644]	blob
src/prop/sat_solver_registry.h	[new file with mode: 0644]	blob
src/util/options.cpp		diff \| blob \| history