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

clasp_2.1.0.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:clasp_2.1.0.orig.tar.gz

/clasp-2.1.0/README

                                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»

/clasp-2.1.0/CHANGES

clasp 2.1.0: Monday, 27th August 2012
  * restructured help and revised options and their defaults
    * added "--help[={1..3}]" for showing basic, advanced, or all options
	* added "--configuration" for selecting between prefabricated default configurations
	* revised deletion options and grouped them via common prefix "--del-"
	* revised thread options and added options for size-/topology-based 
more»

/clasp-2.1.0/COPYING

		    GNU GENERAL PUBLIC LICENSE
		       Version 2, June 1991

 Copyright (C) 1989, 1991 Free Software Foundation, Inc.,
 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.

			    Preamble

  The licenses for most software are designed to take away your
freedom to shar
more»

Browse inside clasp_2.1.0.orig.tar.gz

         [DIR]clasp-2.1.0/ (11)

Download clasp_2.1.0.orig.tar.gz

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