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

gecode_3.7.3.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:gecode_3.7.3.orig.tar.gz

/gecode-3.7.3/contribs/README

                      GECODE CONTRIBUTIONS
======================================================================

1. External contributions
This directory contains external contributions to the Gecode
system. Please see our web pages for more information about the
contributors:

http://www.gecode.org/contributions.html

2. Installation
The contributions are distributed together with Gecode to eas
more»

/gecode-3.7.3/contribs/qecode/README

QeCode is a quantified constraint satisfaction problems (QCSP) solver based on Gecode. 
It can also solve QCSP+, an extension of QCSP where quantifiers can be restricted and QCOP+, a quantified optimizaion problem formalism which scopes multi-level programming problems. 

QeCode have been developped at Universite d'Orleans by Jeremie Vautard, Arnaud Lallouet and Marco Benedetti. More info is avail
more»

/gecode-3.7.3/changelog.in

#
#  Main authors:
#     Christian Schulte <schulte@gecode.org>
#
#  Copyright:
#     Christian Schulte, 2005
#
#  Last modified:
#     $Date: 2012-03-23 02:42:16 +1100 (Fri, 23 Mar 2012) $ by $Author: schulte $
#     $Revision: 12623 $
#
#  This file is part of Gecode, the generic constraint
#  development environment:
#     http://www.gecode.org
#
#  Permission is hereby granted, free of charge,
more»

/gecode-3.7.3/gecode/flatzinc/CHANGES

Version 1.7 (?)
 * Fixed bug in grammar for annotation expressions
 * Added cumulative-constraint
 *
more»

/gecode-3.7.3/LICENSE

		  GECODE LICENSE AGREEMENT
			 
This software and its documentation are copyrighted by the
individ
more»

Browse inside gecode_3.7.3.orig.tar.gz

         [DIR]gecode-3.7.3/ (17)  39 mirrors

Download gecode_3.7.3.orig.tar.gz

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