aboutsummaryrefslogtreecommitdiff
path: root/math/lingeling
Commit message (Collapse)AuthorAgeFilesLines
* math/lingeling: New port: Lingeling SAT SolverYuri Victorovich2023-01-045-0/+81