summaryrefslogtreecommitdiff
path: root/academic/yices2
Commit message (Expand)AuthorAge
* academic/yices2: Added (Satisfiability modulo theories solver).William PC2022-11-05