Profile cover photo
Profile photo
Potassco
151 followers -
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

151 followers
About
Posts

Post has attachment
Public
We just released clingo version 5.2.1, which includes bug fixes for both grounder and solver, along with clasp-3.3.2.

For a list of changes, sources and binaries, please see:

https://github.com/potassco/clingo/releases
https://github.com/potassco/clasp/releases

Have fun,
Team Potassco

Post has attachment
Public
Just to let you know that mac and windows binary of clingcon are now available at

https://github.com/potassco/clingcon/releases

Enjoy!

Post has attachment
Public
Clingo goes Linear Constraints over Reals and Integers

Read more at https://arxiv.org/abs/1707.04053

And try it out at
https://potassco.org/labs/clingodl/ and
https://potassco.org/labs/clingolp/

Let the fun be with you!

Post has attachment

Post has attachment

Post has attachment
Dear all,

this is just to let you know that we released
clingo version 5.2.0 and clasp version 3.3.0
(gringo comes with the clingo distribution).

You find source and binary packages at our github page:

https://github.com/potassco/clingo/releases
https://github.com/potassco/clasp/releases

The new releases bring about two major pragmatic changes:
1. We switched the software licence from GPL to MIT
2. We switched the build system from scons to cmake

Other changes are listed at the above URLs.

Happy grounding and solving,
the Potassco team!

Post has attachment
We just completed a first draft of a tutorial on Hybrid ASP Solving with clingo, focusing on multi-shot and theory ASP solving.
Check it out at https://www.cs.uni-potsdam.de/~torsten/hybris.pdf
Comments are highly welcome!

Post has attachment
Just released clasp 3.2.2 at https://github.com/potassco/clasp/releases

Post has attachment
The proceedings volume of ICLP TC'16 as volume 52 of OASIcs is now officially published and available at:

http://www.dagstuhl.de/dagpub/978-3-95977-007-1

Max just published a bugfix release leading to clingcon 3.1.2
Wait while more posts are being loaded