{"name":"picosat","portdir":"math/picosat","version":"965","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://fmv.jku.at/picosat/","description":"picosat is a SAT solver","long_description":"picosat is a SAT solver","active":true,"categories":["science","math"],"maintainers":[],"variants":["universal"],"dependencies":[{"type":"build","ports":["clang-9.0"]}],"depends_on":[{"type":"build","ports":["boolector"]}]}