Booleanium
An experimental QBF solver
Install / Use
/learn @ltentrup/BooleaniumREADME
Booleanium
An experimental QBF solver based on Incremental Determinization and inspired by Varisat.
An experimental QBF solver
/learn @ltentrup/BooleaniumAn experimental QBF solver based on Incremental Determinization and inspired by Varisat.
