A fork of the Kissat SAT solver with additional features. Supports incremental solving.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool