ASPLIB: The Answer Set Programming Satisfiability Library
http://www.dit.unitn.it/~wasp
Department of Information & Communication Technology
http://www.dit.unitn.it
University of Trento, ITALY
http://www.unitn.it
Home
Submission
Evaluation
Benchmarks
ASP Solvers
Related Sites
Solvers
Cmodels
aspps
DLV
Smodels
ASSAT
Top of page
ASP Solvers
Cmodels
http://www.cs.utexas.edu/users/tag/cmodels.html
aspps: answer-set programming with propositional schemata
http://www.cs.uky.edu/ai/aspps
The DLV Project: A Disjunctive Datalog System (and more)
http://www.dbai.tuwien.ac.at/proj/dlv
Smodels
http://www.tcs.hut.fi/Software/smodels
ASSAT (Answer Sets by SAT solvers)
http://assat.cs.ust.hk
If you want to install your own solver please let us know and we will provide you access to the server.