Package Details: clasp 3.1.4-1

Git Clone URL: (read-only)
Package Base: clasp
Description: A conflict-driven nogood learning answer set solver.
Upstream URL:
Licenses: GPL3
Groups: potassco
Submitter: None
Maintainer: vbmithr
Last Packager: vbmithr
Votes: 43
Popularity: 2.203793
First Submitted: 2012-02-07 09:54
Last Updated: 2016-03-14 15:08

Latest Comments

vbmithr commented on 2016-03-06 02:17

Sure, go ahead.

While you're at it, do the same for gringo and aspcud. And why not opam, also :)

catalin.hritcu commented on 2015-12-12 11:07

Nevermind, the script is supposed to show packages that depend on libstdc++, and that's the case both before and after the rebuild ( Sorry for the noise.

catalin.hritcu commented on 2015-12-12 10:42

This package shows up on the list of packages that need to be rebuit after the recent switch to C++ dual ABI.
Unfortunately this happens to me even after rebuilding and reinstalling the package, which is very puzzling to me.

vbmithr commented on 2014-03-26 13:38

Or maybe disown.

vbmithr commented on 2014-03-01 21:49

Please upgrade.