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