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