Jhx/mcarith#459

Draft

joehendrix wants to merge 10 commits into

Commits on Sep 26, 2023

Initial mcarith work-in-progress theory solver.
Joe Hendrix
committed
Fix comment typo
Joe Hendrix
committed
Support conflicts in mcarith
Joe Hendrix
committed
Add model and rdiv support to mcarith.
Joe Hendrix
committed
Reduce use of global term manager in mcsat.
Joe Hendrix
committed
Cleanups; flatten mcsat poly terms.
Joe Hendrix
committed
mcarith push/pop support.
Joe Hendrix
committed
Bugfixes to mcarith
Joe Hendrix
committed
Bugfixes and cleanups to support backtracing in mcarith.
Joe Hendrix
committed

Commits on Sep 28, 2023

Add extra logging and force command.
Joe Hendrix
committed