Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/{,py-}clingo: Update 5.6.0 -> 5.6.1 | Yuri Victorovich | 2022-09-18 | 2 | -4/+4 |
* | math/py-clingo: Fix tests | Yuri Victorovich | 2022-09-14 | 1 | -3/+3 |
* | math/py-clingo: Correct cmake dependency; Use PYTHON_EXT_SUFFIX | Yuri Victorovich | 2022-09-14 | 1 | -2/+2 |
* | math/py-clingo: New port: Grounder and solver for logic programs | Yuri Victorovich | 2022-09-14 | 3 | -0/+33 |