{"name":"smodels","portdir":"science/smodels","version":"2.34","license":"GPL","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://www.tcs.hut.fi/Software/smodels","description":"stable model semantics for logic programs","long_description":"An implementation of the stable model semantics for logic programs. Smodels can be used either as a C++-library that can be called from user programs or as a stand-alone program together with a suitable front-end. The main front-end is lparse.","active":true,"categories":["science","math"],"maintainers":[{"name":"snc","github":"nerdling","ports_count":157}],"variants":[],"dependencies":[{"type":"build","ports":["clang-9.0"]}],"depends_on":[]}