Activity for Potassco
-
Torsten Schaub committed [r10397]
clasp aspif version rectified
-
fixing headers with macro \ASPm{}
-
various modifications
-
file for theory solving
-
Roland Kaminski committed [r10393]
update lemon
-
some install notes
-
remove captchas
-
Javier Romero committed [r10390]
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
-
hjost committed [r10377]
* updated url to potassco.org
-
-
-
update clingo-5 in the browser
-
update clingo on the web to version 5.0
-
Potassco released /clasp/3.2.0/clasp-3.2.0-x86_64-macosx.tar.gz
-
-
-
-
-
-
-
-
Benjamin Kaufmann committed [r10372]
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
-
Benjamin Andres committed [r10366]
-
teaspoon
-
interface update
-
update pyclingo doc
-
adding section for talks
-
-
add lc2casp
-
-
-
- update vehicle example
-
- update repository links
-
- lock
-
Patrick Lühne committed [r10354]
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...
1 >
