{"name":"sbsat","portdir":"science/sbsat","version":"2.7b","license":"Permissive","platforms":"freebsd darwin","epoch":0,"replaced_by":null,"homepage":"http://gauss.ececs.uc.edu/franco_files/sbsat.html","description":"A state-based Satisfiability solver.","long_description":"SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.","active":true,"categories":["science","math"],"maintainers":[{"name":"snc","github":"nerdling","ports_count":157}],"variants":["universal"],"dependencies":[{"type":"build","ports":["help2man","clang-18"]}],"depends_on":[]}