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)
• sabe - a version off pbmodels develped by Jianzhong Wang (compiles PB-constraintes away, integrated *into* minisat)
• cl (constraint lingo)
• lpsms (including parstab)