{"name":"yices","portdir":"math/yices","version":"2.6.5","license":"GPL-3","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://yices.csl.sri.com","description":"The Yices SMT Solver","long_description":"The Yices SMT Solver","active":true,"categories":["math"],"maintainers":[{"name":"vital.had","github":"barracuda156","ports_count":2571}],"variants":[],"dependencies":[{"type":"build","ports":["autoconf","automake","gperf","libtool","clang-17"]},{"type":"lib","ports":["gmp"]}],"depends_on":[]}