/Users/jamian/Desktop/qecode/examples/NimFibo.cpp File Reference

#include "qsolver.hh"
#include "implicative.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 32 of file NimFibo.cpp.

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

---