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

gecode_3.4.0.orig.tar.gz

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

/gecode-3.4.0/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.4.0/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.4.0/changelog.in

#
#  Main authors:
#     Christian Schulte <schulte@gecode.org>
#
#  Copyright:
#     Christian Schulte, 2005
#
#  Last modified:
#     $Date: 2010-07-22 12:00:29 +0200 (Thu, 22 Jul 2010) $ by $Author: schulte $
#     $Revision: 11249 $
#
#  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.4.0/gecode/flatzinc/CHANGES

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

/gecode-3.4.0/LICENSE

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

Browse inside gecode_3.4.0.orig.tar.gz

         [DIR]gecode-3.4.0/ (17)

Download gecode_3.4.0.orig.tar.gz

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