Commenting on Lparse *do not accept*

#3 Open
Repository
Branch
lparse
Repository
Branch
master

Bitbucket cannot automatically merge this request.

The commits that make up this pull request have been removed.

Bitbucket cannot automatically merge this request due to conflicts.

Review the conflicts on the Overview tab. You can then either decline the request or merge it manually on your local system using the following commands:

git checkout master
git merge --no-ff -m 'Merged in lparse (pull request #3)' remotes/origin/lparse
Author
  1. JoD
Reviewers
Description
  • implemented asp thingie. Only graph to finish

  • requiremetns

  • removed old print

  • TODO: fixme

  • Improved rule design. Now the internal format of rules is not in close correspondence to the input read. However, what we do get is: easier rules.

    Printing a logic program is now harder. We will work around this by printing the original program and adding lines inthe appropriate locatiosn.

    This also allows us to maintain symbol table, parameters, etcetera.

    Fixes #5

  • implemented the graph

  • fixed invariant

  • added incompatible options

  • Finished ASP implementation

  • implemented reading from stdin. Fixes #6

  • version bump

  • implemented optimization terms

  • BUGFIX: code did not compile.

    This bug survived quite long due to issue #7. See #7

  • Bugfix:

    nVars was also set when Tseitins are introduced. Should only be set at parsetime

  • more verbose errors

  • Bugfix: wrong comparison

    Causing too many rules to be equal

  • BUGFIX: in logic programs, there is an asymmetry between positive and negative literals

  • Added support for disjunctive rules

  • README-ASP

  • Better tmpfile handling.

    Now at least uses the environmental variable TMPDIR

Comments (0)