aboutsummaryrefslogtreecommitdiff
path: root/math/yices
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
* math/yices: Update 2.6.2 -> 2.6.4Yuri Victorovich2022-01-264-23/+14
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/yices: fix build on GCC architecturesPiotr Kubaj2020-04-181-1/+1
* math/yices: Update 2.6.1 -> 2.6.2Yuri Victorovich2020-04-074-7/+9
* math/yices: Update 2.6.0 -> 2.6.1Yuri Victorovich2018-10-282-4/+4
* New port: math/yices: SMT solverYuri Victorovich2018-07-215-0/+87