clasp aspif version rectified
fixing headers with macro \ASPm{}
various modifications
file for theory solving
update lemon
some install notes
remove captchas
added clingo versions to asprin and heuristic
minor in asprin
minor
updated heuristic part
minor
minor
updated guide for asprin 3
updated asprin section
redone until 1.2.4
moving day inserted
modifed asprin syntax
typo at errors
on teh move
* updated url to potassco.org
update clingo-5 in the browser
update clingo on the web to version 5.0
Tag for clasp-3.2.0 release
* messed up import
tag for clasp-3.2.0 release
* check for master conflict in endStep()
* updated release tag
Tag for clasp-3.1.5 release
teaspoon
interface update
update pyclingo doc
adding section for talks
add lc2casp
- update vehicle example
- update repository links
- lock
Removed obsolete URLs.
cleanup part 2 of n
Updated URLs for ginkgo and xclasp.
cleanup part 1 of n
IntermediateFormatBackend now uses Potassco::As...
const correctness and print order
started refactoring of aspif interface
Added ginkgo section.
- parser for multi shot clingo output
Added xclasp section.
- added pointers to clingo source code
whitespace
updated clasp to latest revision
- fix incremental grounding of theory atoms
- renamed gringo module to clingo
- fix handling of incremental theory data
- gringo 4.5 branch not used at the moment (wil...