aspcud
CUDF solver based on Answer Set Programming

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

general

source
aspcud (source, admin)
version
1:1.9.6-2
maint
Ralf Treinen
std-ver
4.6.1
VCS
Git (browse)

binaries

todo

testing migration

excuses:
  • Migration status for aspcud (1:1.9.5-1 to 1:1.9.6-1): Waiting for test results or another package, or too young (no action required now - check later)
  • Issues preventing migration:
  • Too young, only 0 of 2 days old

news RSS

bugs

all bug history graph
7
RC
1
I&N
5
M&W
1
F&P
0