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
Links
SATLIB
SAT Live!
SAT-Ex
QBFLIB
SMT-LIB
Asparagus
Contact Us
Top of page
Links to Related Sites
SATLIB: The Satisfiability Library
http://www.satlib.org
SAT Live! Up-to-date links for the SATisfiability Problem
http://www.satlive.org
SAT-Ex: Experimentations about SAT
http://www.lri.fr/~simon/satex/satex.php3
QBFLIB: The QBF Library
http://www.qbflib.org
SMT-LIB: The Satisfiability Modulo Theories Library
http://combination.cs.uiowa.edu/smtlib
Asparagus: A benchmark system for answerset programing.
http://asparagus.cs.uni-potsdam.de
Please contact us by
e-mail
if you know other sites which should be included here.