Nikolaj Bjorner 4fda2adec8 Merge branch 'master' of https://github.com/Z3Prover/z3		2016-10-16 15:46:50 -04:00
..
ackermannization
api	fix some issues with the windows build	2016-10-10 15:38:08 -07:00
ast	Merge branch 'master' of https://github.com/Z3Prover/z3	2016-10-16 15:46:50 -04:00
cmd_context	ensure that status is displayed in SMT-LIB2 compliant way. Issue #734	2016-09-13 10:34:34 -07:00
duality
interp
math	remove repeated default argument, remove tabs	2016-07-28 21:13:12 -07:00
model	Added unregister_decl to model_core	2016-10-15 18:35:39 +02:00
muz	add option to bypass compression of unbound tails, issue #738	2016-09-16 14:56:10 -07:00
nlsat
opt	better encodings for at-most-1, #755	2016-10-10 23:46:03 -07:00
parsers	fixed memory leaks	2016-08-20 17:57:00 -04:00
qe
sat	add consequence finding to inc-sat-solver	2016-10-16 15:43:28 -04:00
shell	guard verbose output by verbosity level for datalog command-line tool	2016-09-16 15:36:40 -07:00
smt	Merge branch 'master' of https://github.com/Z3Prover/z3	2016-10-16 15:46:50 -04:00
solver	better encodings for at-most-1, #755	2016-10-10 23:46:03 -07:00
tactic	Refactored and fixed model conversion for fpa2bv conversion of unspecified values via theory_fpa.	2016-10-15 18:35:39 +02:00
test	add consequence finding to inc-sat-solver	2016-10-16 15:43:28 -04:00
util	better encodings for at-most-1, #755	2016-10-10 23:49:45 -07:00