Add `Theory::explain_propagation_final` for use in `analyze_final`#20

Open

dewert99 wants to merge 16 commits intoc-cube:masterfrom dewert99:explain_propagation_final

+345-322

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 u64s directly in order_heap_data
dewert99
committed
Improved order Vars are added to the heap when canceling
dewert99
committed

Commits on Mar 26, 2024

Added more control over assumptions and decision variables
dewert99
committed

Commits on Apr 1, 2024

Allow theory conflicts to be empty
dewert99
committed

Commits on Apr 4, 2024

Add Theory::explain_propagation_final for use in analyze_final
dewert99
committed