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
Potassco's posts

Post has attachment
Public
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

Post has attachment
We are moving from sourceforge to github.

Our new web-space is now: potassco.org

With it come also new releases of

- clingo (and gringo) version 5.1
https://potassco.org/clingo

- clasp version 3.2
https://potassco.org/clasp

- clingcon version 3.1
https://potassco.org/clingcon

This migration will leave behind software at
sourceforge that is currently not actively developed.
Also, we leave the two mailing lists at sourceforge.

We hope you will enjoy the new arrangements.
Comments are highly welcome!


Post has attachment
Our ongoing move is accompanied with a new web presence at potassco.org - enjoy a sneak preview ;)

Although our move is not yet completed, we already started making releases at github (discontinuing this for the moved tools at sourceforge).
This includes new versions of clingo, gringo, and clasp.
A more detailed announcement will follow once we completed (most of) our move :)

Post has attachment
We are now also on facebook at

https://www.facebook.com/potassco

Post has attachment
We are about to move from sourceforge to github!

Our github repositories are growing vividly at https://github.com/potassco.
Also, we just reserved the new domain http://potassco.org, which will become our new reference address - keep having fun!

Post has attachment
+Benjamin Kaufmann just released clasp 3.2 - enjoy!!

Post has attachment
clasp and satenstein run FCC's auction of radio frequencies in the US
(thanks to +Kevin Leyton-Brown)
Wait while more posts are being loaded