{"name":"libpetanque","portdir":"math/libpetanque","version":"1.1.0","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/quarkslab/arybo","description":"Library that helps manipulate symbolic boolean expressions","long_description":"Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions.","active":true,"categories":["math"],"maintainers":[{"name":"vital.had","github":"barracuda156","ports_count":2571}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-17"]}],"depends_on":[]}