{"name":"gr1c","portdir":"math/gr1c","version":"0.13.3","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://scottman.net/2012/gr1c","description":"Tools for GR(1) synthesis and related activities","long_description":"A collection of tools for GR(1) synthesis and related activities. Its core functionality is checking realizability of and synthesizing strategies for GR(1) specifications, though it does much more.","active":true,"categories":["devel","math"],"maintainers":[{"name":"slivingston","github":"slivingston","ports_count":2}],"variants":["universal"],"dependencies":[{"type":"build","ports":["bison","flex","spin","graphviz","clang-18"]},{"type":"lib","ports":["libcudd"]}],"depends_on":[]}