8 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	ec57d3b15c	missing switch cases	2022-04-19 16:20:02 +01:00
Nikolaj Bjorner	56d3718cde	add simplification with qe-lite as an option #5767 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-01-12 03:41:21 -08:00
Nikolaj Bjorner	8ca023d541	expose propagate created	2021-12-17 16:12:47 -08:00
Nikolaj Bjorner	3036b88f09	support threading for TRACE mode	2021-10-25 13:35:32 +02:00
Nikolaj Bjorner	a7bc4719c0	fix #5526 ... when propagation claims progress, but is a no-op.	2021-09-01 11:45:21 -07:00
Nikolaj Bjorner	a8b433e6ac	#5331 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-07-19 15:58:10 -07:00
Nikolaj Bjorner	4a6083836a	call it data instead of c_ptr for approaching C++11 std::vector convention.	2021-04-13 18:17:35 -07:00
Nikolaj Bjorner	ab0735fde2	separate component for asserted_formulas to break dependency cycles ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-03-17 15:51:38 -07:00

Renamed from src/solver/asserted_formulas.cpp (Browse further)