Douglas B. Staple 725b1c56e5 Export default tactic for use via the SMT-LIB 2 interface.		2016-05-26 09:55:08 -03:00
..
default_tactic.cpp	disable qf-ufnra tactic from default for testing	2015-06-23 14:05:49 +02:00
default_tactic.h	Export default tactic for use via the SMT-LIB 2 interface.	2016-05-26 09:55:08 -03:00
smt_strategic_solver.cpp	fix issue #212 - don't use SAT solver core when division semantics is disabled	2015-09-05 11:03:35 -07:00
smt_strategic_solver.h	update header guards to be C++ style. Fixes issue #9	2015-07-08 23:18:40 -07:00