aboutsummaryrefslogtreecommitdiff
path: root/math/ctl-sat
Commit message (Expand)AuthorAgeFilesLines
* 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