Software Projects
The Lydia constraint-based reasoning system
Python bindings to
lingeling
Home web page of Alexander Feldman
Llama Home