nim-lang / sat

A SAT solver written in Nim
13Updated 10 months ago

Alternatives and similar repositories for sat:

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