smodels (science/smodels) Add to my watchlist
stable model semantics for logic programsAn 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.
Version: 2.34 License: GPL
GitHub
| Maintainers | nerdling |
| Categories | science math |
| Homepage | http://www.tcs.hut.fi/Software/smodels |
| Platforms | darwin |
| Variants | - |
"smodels" depends on
build (1)
Ports that depend on "smodels"
No ports
Port notes
lparse is recommended for piping to smodels: `lparse | smodels`
Port Health:
Loading Port Health