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

clasp_2.0.2.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Ubuntu
Filename:clasp_2.0.2.orig.tar.gz

/clasp-2.0.2/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.0.2/CHANGES

clasp 2.0.2: Thursday, 30th June 2011
	* applied fixes from version 1.3.9
	* fixed problem in call to linker (issue 3324430)
	* fixed a bug in "otfs" which could not handle unsimplified lemmas
	* fixed a potential invalid memory access in ImplicationList::hasLearnt()
	* fixed potential underflow in output of solved guiding paths
	* fixed a problem in UnitHeuristic which failed to handle stop confl
more»

/clasp-2.0.2/todo.txt

* Statistics:
	- always aggregate? Sum? Average? Max?
	- add option like --thread-stats?
	- add value to stats?
		- --stats=[all, sum, avg, max]
		
* Sat-Preprocessing
	- global option: share var elimination flags: init in shared data (SharedWeightConstraint, Shared_DepGraph)
	- local option: per thread elimination flags: init in local data (WeightConstraint, UfsChecker)
		- cannot share 
more»

/clasp-2.0.2/COPYING

		    GNU GENERAL PUBLIC LICENSE
		       Version 2, June 1991

 Copyright (C) 1989, 1991 Free Softw
more»

Browse inside clasp_2.0.2.orig.tar.gz

         [DIR]clasp-2.0.2/ (12)

Download clasp_2.0.2.orig.tar.gz

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