{"name":"lparse","portdir":"science/lparse","version":"1.1.2","license":"GPL","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://www.tcs.hut.fi/Software/smodels","description":"prepare variable-free programs for smodels","long_description":"Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.","active":true,"categories":["science","math"],"maintainers":[{"name":"snc","github":"nerdling","ports_count":157}],"variants":["universal"],"dependencies":[{"type":"build","ports":["bison","clang-9.0"]}],"depends_on":[]}