[needs-packaging] lparse
Bug #607622 reported by
Thomas Krennwallner
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ubuntu |
In Progress
|
Wishlist
|
Thomas Krennwallner |
Bug Description
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://
License: GPL-2
Notes: There are ready-to-install debs available at ppa:tkren/asp, see https:/
Changed in ubuntu: | |
assignee: | nobody → Thomas Krennwallner (tkren) |
status: | New → In Progress |
To post a comment you must log in.
*** This is an automated message ***
This bug is tagged needs-packaging which identifies it as a request for a new package in Ubuntu. As a part of the managing needs-packaging bug reports specification, https:/ /wiki.ubuntu. com/QATeam/ Specs/NeedsPack agingBugs, all needs-packaging bug reports have Wishlist importance. Subsequently, I'm setting this bug's status to Wishlist.