• WSAT(CC) (version number: 0.8.0, released on Jan. 22, 2006) (For help, please run wsatcc with "-h" option)
• Bootstrapping script
• Wildcat(SKC)
• Wildcat(RNovelty+)

• Lengning Liu at lliu1@cs.uky.edu
• Miroslaw Truszczynski at mirek@cs.uky.edu

• [1] Local-search techniques for propositional logic with cardinality constraints

L. Liu, M. Truszczynski, Proceedings of CP2003.
 

• [2] Local search with bootstrapping

L. Liu and M. Truszczynski. Submitted to SAT-2004.

• aspps (answer-set programming with propositional schemata, or, with logic PS+)

Activities discussed on this site are partially supported by the National Science Foundation. Any opinions, findings, and conclusions or recommendations expressed here  are those of the author(s) and do not necessarily reflect the views of the National Science Foundation