welcome: please sign in
location: Participants\clasp-mt

clasp-mt

Team

Description

clasp-mt is the multi-threaded version of the ASP solver clasp.

System Settings

References

ASP Competition 2013: Participants\clasp-mt (last edited 2013-05-26 15:03:29 by FrancescoCalimeri)