Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Information for
smodels
Versions
2.34
(2)
Package names
smodels
(2)
Repositories
AUR
MacPorts
Categories
science
Licenses
GPL
GPL2
Summaries
Implementation of the stable model semantics for logic programs
stable model semantics for logic programs
Maintainers
luker88@aur
nerdling@github
snc@macports
Homepage links
http://www.tcs.hut.fi/Software/smodels
dead
(see archive.org)
http://www.tcs.hut.fi/Software/smodels/
dead
(see archive.org)
All package recipes
https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=smodels
ok
https://github.com/macports/macports-ports/blob/master/science/smodels/Portfile
ok
,
no IPv6