Search Criteria
Package Details: smodels 2.34-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/smodels.git (read-only, click to copy) |
---|---|
Package Base: | smodels |
Description: | Implementation of the stable model semantics for logic programs |
Upstream URL: | http://www.tcs.hut.fi/Software/smodels/ |
Licenses: | GPL2 |
Submitter: | Luker88 |
Maintainer: | Luker88 |
Last Packager: | Luker88 |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2015-11-09 20:11 (UTC) |
Last Updated: | 2015-11-09 20:11 (UTC) |