clasp-mt
Team
- Benjamin Kaufmann (University of Potsdam)
- Torsten Schaub (University of Potsdam)
- Marius Schneider (University of Potsdam)
- Martin Gebser (University of Potsdam)
- Roland Kaminski (University of Potsdam)
Description
clasp-mt is the multi-threaded version of the ASP solver clasp.
System Settings
- Version: clasp-2.1.2
- Grounder: gringo-3.0.5
- Encodings: gringo-3
- Num Threads: 6
- Mode: Portfolio (given in portfolio.txt)
- Options: --restart-on-model --backprop --sat-prepro=20,50,80,50,1,2000000 --trans-ext=dynamic