Fix unsat core tracking for duplicating constrains.#76

Merged

misonijnik merged 1 commit intoUnitTestBot:mainfrom

Mar 25, 2023

Commits on Mar 24, 2023

[fix] Update `Z3Solver`: fix unsat core tracking for duplicating constrains. Fixed equality functor for Z3ASTHandle.

misonijnik
authored and
S1eGa
committed