Explore projects

Llama's circuit family generator.

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

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

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

Llama's base circuit diagnostic package.

Llama's litle QBF solver.

Llama's automatic circuit fault modeler.

Llama's logic base package.