Permalink
Browse files

Update README

  • Loading branch information...
Vincent Barichard Vincent Barichard
Vincent Barichard authored and Vincent Barichard committed Oct 22, 2016
1 parent 757741d commit dd6304d566f10e3caf6aa9ca66d46c5c291498c9
Showing with 10 additions and 9 deletions.
  1. +10 −9 README.md
View
@@ -6,29 +6,30 @@ Quacode
Quacode is a quantified constraint satisfaction problems (QCSP) solver based on Gecode.
Quacode is distributed under the MIT license. For any question or bug report, please contact [Vincent Barichard](http://vincent.barichard.com) ([email](mailto:vincent.barichard@univ-angers.fr).
## QCSP
### QCSP
Quantified Constraint Satisfaction Problems are a generalization of Constraint Satisfaction Problems (CSP) in which variables may be quantified existentially and universally. QCSP offers a natural framework to express problems as finite two-player games or planning under uncertainty.
## Gecode
### Gecode
[Gecode](http://www.gecode.org) is a comprehensive toolkit for developing constraint-based systems. It is well documented and source code is freely available. Quacode is based on Gecode, so you need Gecode to compil and run QCSP examples.
## Free
### Free
As Gecode, Quacode is distributed under the MIT licence. Source code and examples are available for download. You may also grab some binaries to quickly have a look at it.
## Publications
### Publications
- Barichard V., Stephan I., *The cut tool for QCSP*, Accepted at ICTAI 2014.
Download Quacode
================
You can get the latest Quacode release from several locations:
## Downloadable source and binary archive files
### Downloadable source and binary archive files
You can grab the last release at the [Github release section](https://github.com/VynceCook/quacode/releases). You will find some archives of the source files and binaries (the binary packages provide the example programs: Baker, NimFibo, MatrixGame, Connect-Four).
## At the Gecode web site
### From the Gecode web site
Quacode is provided with the last Gecode release (started from version 4.3.1), you can grab the last release from the [Gecode](http://www.gecode.org/) web site.
## Latest master sources from Github
### Latest master sources from Github
You can grab the master version of Quacode:
@@ -43,7 +44,7 @@ Build Quacode
=============
Depending on the location of the source files (from Gecode web site or from Github) you have to select the right build method.
## With source files from the Gecode source tree
### With source files from the Gecode source tree
To compile Quacode from the Gecode source tree, you first have to install cmake. To setup the compilation process for your environment, you can launch cmake by invoking:
~~~~
cmake .
@@ -69,7 +70,7 @@ library and examples by invoking
~~~~
in the build directory.
## With source files from Github
### With source files from Github
Even if you downloaded Quacode from Github, you have to previously get and compiled Gecode.
You have to call `cmake` and provide it the location of the Gecode libraries and sources.
~~~~

0 comments on commit dd6304d

Please sign in to comment.