View source
lparse56
  • Contributors
    1. Loading...
Author Commit Message Date Builds
65 commits behind master.
JoD
Added option to print automorphism graph info
Bart Bogaerts
Bugfix Parsing of rule type 5: forgot to parse the bound. Strangely enough: rule type 5: bound lits neglits versus rule type 2: lits neglits bound
Bart Bogaerts
Bugfix Counter was not reset. Weights were not parsed for rule types 5 and 6, causing segfaults
Bart Bogaerts
BUGFIX: Added the missing choice rule
Bart Bogaerts
Added support for rule types 5 and 6
Bart Bogaerts
bugfix colorcoutn was not properly initialised
Bart Bogaerts
implemented support for rule type 2
Bart Bogaerts
eliminated direction. Apparently, directed edges weren't really working well: In order to keep the asymetry between pos and neg literals, I introduced an extra color
Bart Bogaerts
Merge remote-tracking branch 'origin/master' into lparse Reason for merging this way is that there is already a pull request with comments on lparse open and that I don't want to change those commits. A later rebase will be needed.
Bart Bogaerts
Better tmpfile handling. Now at least uses the environmental variable TMPDIR
Bart Bogaerts
README-ASP
Bart Bogaerts
Added support for disjunctive rules
Bart Bogaerts
BUGFIX: in logic programs, there is an asymmetry between positive and negative literals
Bart Bogaerts
Bugfix: wrong comparison Causing too many rules to be equal
Bart Bogaerts
more verbose errors
Bart Bogaerts
Bugfix: nVars was also set when Tseitins are introduced. Should only be set at parsetime
Bart Bogaerts
BUGFIX: code did not compile. This bug survived quite long due to issue #7. See #7
Bart Bogaerts
implemented optimization terms
Bart Bogaerts
version bump
Bart Bogaerts
implemented reading from stdin. Fixes #6
Bart Bogaerts
Finished ASP implementation
Bart Bogaerts
added incompatible options
Bart Bogaerts
fixed invariant
Bart Bogaerts
implemented the graph
Bart Bogaerts
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
Bart Bogaerts
TODO: fixme
Bart Bogaerts
removed old print
Bart Bogaerts
requiremetns
Bart Bogaerts
implemented asp thingie. Only graph to finish