Claspar
Claspar is a parallel solver based on clasp using MPI to distribute the search.

2011

2009

SourceForge.net Logo