Public bug reported: The program smodels is 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.
URL: http://www.tcs.hut.fi/Software/smodels/ License: GPL-2 Notes: There are ready-to-install debs available at ppa:tkren/asp, see https://launchpad.net/~tkren/+archive/asp and http://www.kr.tuwien.ac.at/staff/tkren/deb.html ** Affects: ubuntu Importance: Undecided Assignee: Thomas Krennwallner (tkren) Status: In Progress ** Tags: needs-packaging ** Changed in: ubuntu Assignee: (unassigned) => Thomas Krennwallner (tkren) ** Changed in: ubuntu Status: New => In Progress -- [needs-packaging] smodels https://bugs.launchpad.net/bugs/607621 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
