{"name":"vampire","portdir":"math/vampire","version":"4.9","license":"BSD and MIT","platforms":"darwin freebsd","epoch":1,"replaced_by":null,"homepage":"https://github.com/vprover/vampire","description":"Vampire Theorem Prover","long_description":"High performance automated theorem prover.","active":true,"categories":["science","math"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":83}],"variants":["polly","profile","z3","universal","debug","native"],"dependencies":[{"type":"build","ports":["cmake","ninja","clang-17"]}],"depends_on":[]}