clingo and gringoPublished bypotassco.orgHistorical Content•1 min readCurrent answer set solvers work on variable-free programs.ClingoGringoLearn moreShareLegalReport
