Profile cover photo
Profile photo
Potassco
159 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

159 followers
About
Posts

Sometimes you may want to pass the result of one clingo call as input to another without wanting to use python or alike.

Why not try this:

clingo <ASPFILE1> --outf=0 -V0 --out-atomf=%s. --quiet=1,2,2 | head -n1 | clingo - <ASPFILE2>

Have fun!
Add a comment...

Our anaconda packages getting more and more popular since they allow for an easy installation with all dependencies (eg python support) - you may want to try this!
Add a comment...

We uploaded clingo packages to the Anaconda cloud. This makes it very easy to get a Python enabled Clingo version.

Packages are available for linux-64, windows-64, and osx-64. Except for Windows, there are packages for both Python 3.6 and 2.7. For Windows, there is only a Python 3.6 package.
Add a comment...

Post has attachment
Hi everyone,

we just released clasp version 3.3.3 and clingo version 5.2.2, fixing issues
in both grounder and solver.

You find source and binary packages on our github page:

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

Note that this time the clasp binaries are included in the clingo binary
releases.

Happy grounding and solving,
the Potassco team!
clingo
clingo
github.com
Add a comment...

Post has attachment
+Javier Romero just released version 3.0.1 of asprin at https://github.com/potassco/asprin/releases/tag/v3.0.1

Asprin provides a general framework for qualitative and quantitative optimization in answer set programming.

Enjoy!
asprin
asprin
github.com
Add a comment...

Post has attachment
We just migrated our user's guide to github and gave it a slight lifting to be compatible with clingo series 5.
Check it out at https://github.com/potassco/guide/releases/tag/v2.1.0
guide
guide
github.com
Add a comment...

Here is an emacs mode for editing logic programs by Henrik Jürges
- enjoy!

https://github.com/santifa/pasp-mode
Add a comment...

Those of you developing with our tools, may like ansunit, https://github.com/rndmcnlly/ansunit, a declarative testing framework for ASP - enjoy!
Add a comment...

Post has attachment
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
clasp
clasp
github.com
Add a comment...

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

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

Enjoy!
clingcon
clingcon
github.com
Add a comment...
Wait while more posts are being loaded