SOFTWARE DEVELOPED BY THE AI GROUP AT THE UNIVERSITY OF KENTUCKY
aspps (answer-set programming with propositional schemata, or, with logic PS+)
wsat(cc) (a local-search solver for PS+)
pbmodels (a solver to compute stable models of smodels programs)
cl (constraint lingo)
lpsms (including parstab)