jix / kissat_extras

A fork of the Kissat SAT solver with additional features. Supports incremental solving.
13Updated 2 years ago

Alternatives and similar repositories for kissat_extras:

Users that are interested in kissat_extras are comparing it to the libraries listed below