Research links
Texas Action Group, University of
Texas at Austin
Cognitive
Robotics Group, University of Toronto
Knowledge-Based Systems Group, Vienna
University of Technology
Formal Reasoning Group, Stanford
University
Answer set solvers: assat,
ccalc,
cmodels,
dlv,
smodels
Sat solvers:
chaff,
minisat,
rsat,
picosat
Benchmarks