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
implemented asp thingie. Only graph to finish
removed old print
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.
implemented the graph
added incompatible options
Finished ASP implementation
implemented reading from stdin. Fixes #6
implemented optimization terms
BUGFIX: code did not compile.
This bug survived quite long due to issue #7. See #7
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
Better tmpfile handling.
Now at least uses the environmental variable TMPDIR