v 2.34

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.

To install smodels, paste this in macOS terminal after installing MacPorts

sudo port install smodels

Add to my watchlist

Installations 0
Requested Installations 0