jix / starlit

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.

Geek Repo

Github PK Tool