Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
852 B · 26 lines
at develop
123456789101112131415161718192021222324252627Quacode is a quantified constraint satisfactionproblems (QCSP) solver based on Gecode.Quacode have been developped by Vincent Barichard.More info is available on http://quacode.barichard.comTo compile Quacode, you have to install cmake. To setup thecompilation process for your environment, you can launchcmake by invoking cmake .in the toplevel Quacode directory.By default, 'make install' will install all the files in'/usr/local/bin', '/usr/local/lib' etc. You can specifyan installation prefix other than '/usr/local' setting the'CMAKE_INSTALL_PREFIX' option,for instance 'cmake -DCMAKE_INSTALL_PREFIX:PATH=$HOME .'Then you can compile the code by invoking makein the toplevel Quacode directory.After a successful compilation, you can install Quacodelibrary and examples by invoking make installin the build directory.