{"name":"boolector","portdir":"math/boolector","version":"3.2.4","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/Boolector/boolector","description":"an SMT solver for the theory of bit-vectors","long_description":"Boolector is an SMT solver for the theory of bit-vectors and the extensional theory of arrays over bit-vectors. It won first places in the prestigious bit-vector and bit-vector with arrays tracks in the SMT competition 2008. In the latest SMT competition, it won the second place in the bit-vector division and again the first place in the division of bit-vectors and arrays.","active":true,"categories":["science","math"],"maintainers":[],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","gtest","picosat","clang-17"]},{"type":"lib","ports":["gmp","btor2tools"]}],"depends_on":[]}