Public bug reported: Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.
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] lparse https://bugs.launchpad.net/bugs/607622 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
