Explore projects

Llama's logic base package.

Python interface to the Kissat SAT solver, optimized for speed and compactness.

Python bindings for the CaDiCaL SAT solver, offering incremental solving and performance tuning.

Python wrapper for the parallel Lingeling SAT solver, enabling multi-threaded CDCL solving from Python.

Llama's litle QBF solver.

Llama's automatic circuit fault modeler.

Llama's base circuit diagnostic package.

Llama's circuit family generator.