Search Criteria
Package Details: smodels 2.34-1
Package Actions
| Package Base: | smodels |
|---|---|
| Description: | Implementation of the stable model semantics for logic programs |
| Upstream URL: | http://www.tcs.hut.fi/Software/smodels/ |
| Category: | science |
| Licenses: | |
| Submitter: | N0NamedGuy |
| Maintainer: | N0NamedGuy |
| Last Packager: | None |
| Votes: | 1 |
| First Submitted: | 2010-11-20 11:14 |
| Last Updated: | 2010-11-20 11:14 |