#include "qsolver.hh"
#include "implicative.hh"
Include dependency graph for NimFibo.cpp:
Go to the source code of this file.
Functions | |
int | main () |
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().