[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 |
Revision history for this message
| Brian Murray (brian-murray) wrote | #1 |
| Changed in ubuntu: | |
| importance: | Undecided → Wishlist |
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:/