{"name":"minisat","portdir":"math/minisat","version":"2.2.1","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://minisat.se/","description":"Minimalistic SAT solver","long_description":"MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.","active":true,"categories":["science","math"],"maintainers":[],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-18"]},{"type":"lib","ports":["zlib"]}],"depends_on":[]}