/Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/examples/NimFibo.cpp File Reference

#include "qsolver.hh"
#include "implicative.hh"
#include "SDFVariableHeuristic.hh"
#include "NaiveValueHeuristics.hh"
#include "FirstFailValueHeuristic.hh"

Include dependency graph for NimFibo.cpp:

Go to the source code of this file.

Functions
int	main ()

---

Function Documentation

int main

(

)

Definition at line 35 of file NimFibo.cpp.

References Implicative::makeStructure(), Implicative::nextScope(), QECODE_EXISTENTIAL, Implicative::QIntVar(), QSolver::solve(), Implicative::space(), and Implicative::var().

---