Christoph M. Wintersteiger 98975e5187 Reordered the default qflia probe to be checked before the more permissive qfauflia.		2015-05-27 14:47:24 +01:00
..
default_tactic.cpp	Reordered the default qflia probe to be checked before the more permissive qfauflia.	2015-05-27 14:47:24 +01:00
default_tactic.h	reorganizing the code	2012-10-23 22:14:35 -07:00
smt_strategic_solver.cpp	add ddnf tests, add facility to solve QF_NRA + QF_UF(and other theories) in joint solver to allow broader use of QF_NRA core	2015-05-09 19:40:34 -07:00
smt_strategic_solver.h	solver factories, cleanup solver API, simplified strategic solver, added combined solver	2012-12-11 17:47:27 -08:00