Skip to content

Manage lifetime of MiniSat and Glucose solver pointers using unique_ptr#6078

Merged
tautschnig merged 6 commits intodiffblue:developfrom
thomasspriggs:tas/solver_unique_ptr
May 5, 2021

Commits

Commits on May 5, 2021