jix / starlitLinks

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.
10Updated 3 years ago

Alternatives and similar repositories for starlit

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

Sorting: