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.
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, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install smodels
To see what files were installed by smodels, run:
port contents smodels
To later upgrade smodels, run:
sudo port selfupdate && sudo port upgrade smodels
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.