Skip to content

Maintain test execution performance with newer CaDiCaL versions#3381

Merged
tautschnig merged 3 commits intomodel-checking:mainfrom tautschnig:tests-use-minisatJul 25, 2024
+19

Commits

Commits on Jul 24, 2024

Commits on Jul 25, 2024