{"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":[],"variants":[],"dependencies":[{"type":"build","ports":["autoconf","automake","gperf","libtool","clang-18"]},{"type":"lib","ports":["gmp"]}],"depends_on":[]}