3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
z3/src
Nikolaj Bjorner 94d3c591b5 make sure ackermann works with arrays that have more than one argument
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-02-11 21:28:31 -08:00
..
ackermannization delete more default constructors 2024-09-23 12:59:04 +01:00
api Fixed bug in UP (#7545) 2025-02-04 08:41:28 -08:00
ast fix build warnings 2025-02-10 11:51:21 -08:00
cmd_context #7468 - add option (get-info :parameters) to display solver parameters that were updated globally and distinct from defaults 2025-02-10 11:57:14 -08:00
math fixing the default parameters of dio and rename m_gomory_cuts to m_cuts 2025-02-11 12:23:00 -10:00
model revert flat default 2025-01-27 16:56:12 -08:00
muz make sure ackermann works with arrays that have more than one argument 2025-02-11 21:28:31 -08:00
nlsat use std::exception as base class to z3_exception 2024-11-04 11:08:15 -08:00
opt fix #7493 2025-02-02 15:00:31 -08:00
params Add a sharp throttle to lia2card tactic to control overhead in default tactic mode 2025-02-02 13:58:51 -08:00
parsers inherit more exceptions from std::exception 2024-11-04 13:52:14 -08:00
qe fix #7517 2025-01-20 19:04:36 -08:00
sat fixing the default parameters of dio and rename m_gomory_cuts to m_cuts 2025-02-11 12:23:00 -10:00
shell fix #7461 2024-12-09 16:57:17 -08:00
smt fixing the default parameters of dio and rename m_gomory_cuts to m_cuts 2025-02-11 12:23:00 -10:00
solver #7468 - add option (get-info :parameters) to display solver parameters that were updated globally and distinct from defaults 2025-02-10 11:57:14 -08:00
tactic Add a sharp throttle to lia2card tactic to control overhead in default tactic mode 2025-02-02 13:58:51 -08:00
test fix the test build 2025-02-11 12:23:00 -10:00
util #7468 - add option (get-info :parameters) to display solver parameters that were updated globally and distinct from defaults 2025-02-10 11:57:14 -08:00
CMakeLists.txt Sls (#7439) 2024-11-02 12:32:48 -07:00