Filewatcher File Search File Search
Catalog
Content Search
» » » » »

clasp

conflict-driven nogood learning answer set solver

Variants:
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).
Homepage:
Package version:2.0.6-2
Architecture:armel
Distribution:Debian
Filename:clasp_2.0.6-2_armel.deb

/usr/share/doc/clasp/README.gz

                                clasp-2.x
              A conflict-driven nogood learning answer set solver 
                     http://www.cs.uni-potsdam.de/clasp/
					  http://potassco.sourceforge.net/

OVERVIEW
  clasp is an answer set solver for (extended) normal logic programs. 
  It combines the high-level modeling capacities of answer set programming
  with state-of-the-art techniques fro
more»

/usr/share/man/man1/clasp.1.gz

CLASP(1)                                                    CLASP(1)



NAME
       clasp - a conflict-driven nogood learning answer set solver

SYNOPSIS
       clasp [number][options]

DESCRIPTION
       This manual page documents briefly the clasp command.

       clasp  is  an  answer  set solver for (extended) normal logic
       programs. It combines the high-level modeling  capacities  of
  
more»

/usr/share/doc/clasp/changelog.Debian.gz

clasp (2.0.6-2) unstable; urgency=low

  * Team upload
  * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)

 -- Dmitrijs Ledkovs <xnox@debian.org>  Sun, 27 May 2012 15:41:47 +0100

clasp (2.0.6-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Bump Standards-Version to 3.9.3.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 04 Apr 2012 06:35:
more»

/usr/share/doc/clasp/changelog.gz

clasp 2.0.6: Tuesday, 3rd April 2012
  * added better error detection to portfolio parser and fixed 
more»

/usr/share/doc/clasp/copyright

Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
Upstream-Name: clasp
Up
more»

Browse inside clasp_2.0.6-2_armel.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download clasp_2.0.6-2_armel.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com