this repo has no description
dekker.one
1Quacode is a quantified constraint satisfaction
2problems (QCSP) solver based on Gecode.
3
4Quacode have been developped by Vincent Barichard.
5More info is available on http://quacode.barichard.com
6
7To compile Quacode, you have to install cmake. To setup the
8compilation process for your environment, you can launch
9cmake by invoking
10 cmake .
11in the toplevel Quacode directory.
12
13By default, 'make install' will install all the files in
14'/usr/local/bin', '/usr/local/lib' etc. You can specify
15an installation prefix other than '/usr/local' setting the
16'CMAKE_INSTALL_PREFIX' option,
17for instance 'cmake -DCMAKE_INSTALL_PREFIX:PATH=$HOME .'
18
19Then you can compile the code by invoking
20 make
21in the toplevel Quacode directory.
22
23After a successful compilation, you can install Quacode
24library and examples by invoking
25 make install
26in the build directory.