Ubuntu
clasp package

clasp 3.3.4-2build1 source package in Ubuntu

Changelog

clasp (3.3.4-2build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Mon, 23 Mar 2020 07:11:25 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe interpreters

Downloads

File Size SHA-256 Checksum
clasp_3.3.4.orig.tar.gz 807.3 KiB 5e4a4588ec48bbf54becc619397e07c7c0293e41e2d70f11170fc6b3773fe9cb
clasp_3.3.4-2build1.debian.tar.xz 7.8 KiB d655a5589fdf3bf3db9bc40a0fc913b497a80f7406af97c173bf673a14873c1e
clasp_3.3.4-2build1.dsc 2.0 KiB cc2886521ccad78c5258c46efc23bd3baa681f373c91525133ec41980013d84f

View changes file

Binary packages built by this source

clasp: conflict-driven nogood learning answer set solver

 clasp is an answer set solver for (extended) normal logic
 programs. It combines the high-level modeling capacities of answer
 set programming (ASP) with state-of-the-art techniques from the area
 of Boolean constraint solving. The primary clasp algorithm relies on
 conflict-driven nogood learning, a technique that proved very
 successful for satisfiability checking (SAT). Unlike other learning
 ASP solvers, clasp does not rely on legacy software, such as a SAT
 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 LPARSE
 output format), as a SAT solver (on simplified DIMACS/CNF format), or
 as a PB solver (on OPB format).

clasp-dbgsym: debug symbols for clasp