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.2-1~bpo60+1
Architecture:amd64
Distribution:Debian
Filename:clasp_2.0.2-1~bpo60+1_amd64.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.2-1~bpo60+1) squeeze-backports; urgency=low

  * Rebuild for squeeze-backports.

 -- Joachim Breitner <nomeata@debian.org>  Thu, 28 Jul 2011 16:22:22 +0200

clasp (2.0.2-1) unstable; urgency=low

  * New upstream release.
  * patches/clasp-ld-as-needed.patch: Remove.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 01 Jul 2011 05:25:39 +0200

clasp (2.0.1-2) unstable; urgency=low

more»

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

clasp 2.0.2: Thursday, 30th June 2011
	* applied fixes from version 1.3.9
	* fixed problem in call t
more»

/usr/share/doc/clasp/copyright

Format-Specification: http://dep.debian.net/deps/dep5/
Upstream-Name: clasp
Upstream-Contact: Benjam
more»

Browse inside clasp_2.0.2-1~bpo60+1_amd64.deb

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

Download clasp_2.0.2-1~bpo60+1_amd64.deb

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