Nuno Lopes 0b486d26da remove pragma once from .cpp		2020-01-02 09:27:07 +00:00
..
ackermannization	enhance ackermannize for constant arguments	2019-09-07 16:36:09 +03:00
api	Make z3::exception a subclass of std::exception	2019-11-25 11:55:37 -08:00
ast	fix #2836	2019-12-31 11:55:43 -08:00
cmd_context	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
math	remove pragma once from .cpp	2020-01-02 09:27:07 +00:00
model	na	2019-11-18 12:03:59 -08:00
muz	clear memory on allocation to avoid msan warnings	2019-11-29 15:50:49 -08:00
nlsat	na	2019-10-25 10:42:21 -07:00
opt	fix #2814	2019-12-20 16:35:38 -08:00
parsers	fix #2797	2019-12-11 01:42:28 -08:00
qe	fix #2811	2019-12-20 15:27:38 -08:00
sat	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
shell	Fix compiler warnings	2019-10-28 14:15:25 +00:00
smt	use u_map in lar_term	2019-12-30 20:31:36 -08:00
solver	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
tactic	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
test	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
util	avoid the state change in an assert statement	2019-12-31 14:03:48 -08:00
CMakeLists.txt	add deps	2019-12-17 11:33:16 -08:00