Skip to content

Solver factory: make_satcheck_prop does not require dynamic_cast#8410

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:solver-factory-no-dynamic_cast3
Aug 8, 2024
Merged

Solver factory: make_satcheck_prop does not require dynamic_cast#8410
kroening merged 1 commit intodiffblue:developfrom
tautschnig:solver-factory-no-dynamic_cast3

Commits

Commits on Aug 7, 2024