https://algo2.iti.kit.edu/balyo/ [email protected]
@FilutaAI Karlsruhe
Tomas Balyo
The Standard Interface for Incremental Satisfiability Solving
biotomas
