Nikolaj Bjorner 3778048eb4 add bounded-int and pb2bv solvers to fd_solver, use sorting networks for pb2bv rewriter when applicable, hoist to pb2bv_rewriter module and remove it from the pb2bv_tactic ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2016-10-23 20:31:59 -07:00
..
fpa	Unbreak the CMake build broken by 009af4455d	2016-10-15 21:42:20 +01:00
macros	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
normal_forms	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
pattern	[CMake] Refactor the dependency on `scripts/mk_util.py` into	2016-03-09 11:22:48 +00:00
proof_checker	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
rewriter	add bounded-int and pb2bv solvers to fd_solver, use sorting networks for pb2bv rewriter when applicable, hoist to pb2bv_rewriter module and remove it from the pb2bv_tactic	2016-10-23 20:31:59 -07:00
simplifier	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
substitution	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
CMakeLists.txt	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00