smodels (science/smodels) Add to my watchlist

stable model semantics for logic programs

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.

Version: 2.34 License: GPL GitHub
Maintainers nerdling
Categories science math
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

Installations (30 days)


Requested Installations (30 days)