aboutsummaryrefslogtreecommitdiff
path: root/math/ctl-sat
Commit message (Expand)AuthorAgeFilesLines
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* New port: math/ctl-sat: CTL (Computation Tree Logic) SAT solverMateusz Piotrowski2020-02-104-0/+85