{"name":"stp","portdir":"math/stp","version":"20150306","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://stp.github.io/stp","description":"STP (Simple Theorem Provider)","long_description":"STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers.","active":true,"categories":["math"],"maintainers":[],"variants":["debug"],"dependencies":[{"type":"build","ports":["bison","cmake","flex","perl5","clang-17"]},{"type":"lib","ports":["boost176"]}],"depends_on":[]}