clasp
conflict-driven nogood learning answer set solver

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/clasp

general

source
clasp (source, interpreters)
version
3.3.5-4.2
maint
Debian Science Maintainers (a), Thomas Krennwallner (u, dm)
std-ver
4.5.1
VCS
Git (browse)

binaries

todo

problems

  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
    In debian/watch no matching files for watch line   https://github.com/potassco/clasp/releases /potassco/clasp/releases/download/v(\d\.\d\.\d)/clasp-\d\.\d\.\d-source\.tar\.gz

news RSS

bugs

all bug history graph
2
RC
0
I&N
0
M&W
2
F&P
0