Software Projects

Description and Link	Languages

The Lydia constraint-based reasoning system	C
Python bindings to `lingeling`	Python, C++
Python bindings to `Kissat`	Python, C++
Python bindings to `CaDiCaL`	Python, C++
Algorithms for manipulation and transformation of switching circuits, Boolean formulas, normal forms, etc.	Python
Algorithms for fault augmentation of switching circuits	Python
Algorithms for diagnosis of switching circuits	Python
QBF solver	C++