System Name
URL
Aclasp
EZCSP
[[Participants/Model&Solve-IDP|IDP
Potassco
Cmodels
[[Participants/IDP|IDP
Clasp(folio)(d)-Potassco
SUP
Smodels