Claspar
Claspar is a parallel solver based on clasp using MPI to distribute the search.
«Potassco
Source
Benchmarks
One answer set (claspar)
All answer sets (claspar)
One answer set (platypus)
Encodingis/Instances
