SATLIB

(redirected from Satisfiability Library)
AcronymDefinition
SATLIBSatisfiability Library