Ubuntu
clasp package

clasp 3.1.4-1 source package in Ubuntu

Changelog

clasp (3.1.4-1) unstable; urgency=medium

  * Imported Upstream version 3.1.4
  * Remove g++5 patch introduced in clasp 3.1.3-2
  * Fix dep5-copyright-license-name-not-unique

 -- Thomas Krennwallner <email address hidden>  Sun, 20 Dec 2015 12:06:30 +0100

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe interpreters

Downloads

File Size SHA-256 Checksum
clasp_3.1.4-1.dsc 2.0 KiB e57c0f62b82b2d506c65cfec41f4669183278cf38e3092cd95fd6d7a1195c60a
clasp_3.1.4.orig.tar.gz 508.8 KiB f6a7d8a90c3f216f778410ea7189b74a902750477fcce1a6b8c992fb08c372fe
clasp_3.1.4-1.debian.tar.xz 6.5 KiB a72b702cc2a5978788a4fb9c8bed3d4c140fb63db03a5ed9a47d3df2470ef19e

Available diffs

No changes file available.

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: No summary available for clasp-dbgsym in ubuntu yakkety.

No description available for clasp-dbgsym in ubuntu yakkety.