lparse (science/lparse) Add to my watchlist
prepare variable-free programs for smodelsSmodels 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.
Version: 1.1.2 License: GPL
GitHub
| Maintainers | nerdling |
| Categories | science math |
| Homepage | http://www.tcs.hut.fi/Software/smodels |
| Platforms | darwin |
| Variants |
|
"lparse" depends on
build (2)
Ports that depend on "lparse"
No ports
Port Health:
Loading Port Health