|
ackermannization
|
delete more default constructors
|
2024-09-23 12:59:04 +01:00 |
|
ast
|
turn on ite simplification by default
|
2025-03-26 11:30:08 -07:00 |
|
cmd_context
|
fix #7560
|
2025-02-19 09:39:17 -08:00 |
|
math
|
remove testing code in is_big_term_on_no_term
|
2025-04-09 19:24:59 -07:00 |
|
model
|
revert flat default
|
2025-01-27 16:56:12 -08:00 |
|
muz
|
fix #4117
|
2025-03-12 20:14:36 -07:00 |
|
nlsat
|
replace Exists by ForAll in the mathematica lemmas
|
2025-03-27 12:32:37 -07:00 |
|
opt
|
fix #7578
|
2025-03-09 17:01:42 -07:00 |
|
params
|
turn on ite simplification by default
|
2025-03-26 11:30:08 -07:00 |
|
parsers
|
inherit more exceptions from std::exception
|
2024-11-04 13:52:14 -08:00 |
|
qe
|
fix #7572 and fix #7574
|
2025-03-07 10:46:29 -08:00 |
|
sat
|
make gcd call in dio optional
|
2025-04-08 16:10:17 -07:00 |
|
shell
|
fix #7461
|
2024-12-09 16:57:17 -08:00 |
|
smt
|
make gcd call in dio optional
|
2025-04-08 16:10:17 -07:00 |
|
solver
|
fix #7590 logic alphabet soup
|
2025-03-19 08:57:32 -10:00 |
|
tactic
|
household chores - move to iterators
|
2025-03-24 12:36:13 -07:00 |
|
test
|
use iterators on goal and other refactoring
|
2025-03-16 20:04:04 -07:00 |
|
util
|
code simplification
|
2025-02-18 19:07:58 -08:00 |
|
CMakeLists.txt
|
Sls (#7439)
|
2024-11-02 12:32:48 -07:00 |
