Skip to content

Add temporary hidden method to set CaDiCaL options#56

Merged
Dekker1 merged 1 commit intopindakaashq:developfrom Dekker1:feat/cadical_optMay 31, 2024