SMT-style push/pop assertion levels#17

Closed

dewert99 wants to merge 15 commits intoc-cube:masterfrom

dewert99:assertion-level

Commits on Mar 14, 2024

Make literal picker independent of theory explanation order
dewert99
committed

Commits on Mar 15, 2024

Commits on Mar 16, 2024

Commits on Mar 19, 2024

Replaced heap comparisons with u64 comparisons by utilizing https://stackoverflow.com/questions/33678827/compare-floating-point-numbers-as-integers
dewert99
committed
Stored `u64`s directly in order_heap_data
dewert99
committed
Improved order `Var`s are added to the heap when canceling
dewert99
committed

Commits on Mar 24, 2024

push/pop
dewert99
committed

Commits on Mar 25, 2024

Make pop set all variables created since the last push as non-decidable
dewert99
committed