diff options
Diffstat (limited to 'math/clasp/pkg-descr')
| -rw-r--r-- | math/clasp/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/clasp/pkg-descr b/math/clasp/pkg-descr index d1cce4a0d927..c0e75f9c3ad5 100644 --- a/math/clasp/pkg-descr +++ b/math/clasp/pkg-descr @@ -8,6 +8,6 @@ solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB -solver (on OPB format). +solver (on OPB format). WWW: http://potassco.sourceforge.net/ |