{"name":"btor2tools","portdir":"math/btor2tools","version":"20230816","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/Boolector/btor2tools","description":"a generic parser and tools for the BTOR2 format","long_description":"The Btor2Tools package provides a generic parser and tools for the BTOR2 format.","active":true,"categories":["science","math"],"maintainers":[],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-16"]}],"depends_on":[{"type":"lib","ports":["boolector"]}]}