Package Details: smodels 2.34-1

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)

Dependencies (0)

Required by (0)

Sources (1)