The programs and documentation can be downloaded from:

• The grounder (version of 07/07/2005): psgrnd (This is a new implementation of the grounder for the aspps solver. Please, refer to the manuals for the description of the syntax accepted by the new grounder).
• The grounder (version of 06/04/2003): psgrnd
• The solver (version of 05/17/2005): aspps
• The solver (version of 03/25/2005): aspps
• The solver extended to weight constraints (version of 18/03/2006: amsolver
• The solver (version of 06/04/2003): aspps
• The aspps/psgrnd manual (version of Octber 2006): ps, pdf

• Deborah East, deast@swt.edu or
• Mirek Truszczynski, mirek@cs.uky.edu

• Artur Mikitiuk, artur@cs.uky.edu,
• Mikhail Iakhiaev, mikhailai@hotmail.com, or
• Mirek Truszczynski, mirek@cs.uky.edu

• WSAT(CC) (a local-search solver for 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