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

#include "qsolver.hh"
#include "implicative.hh"
#include <iostream>

Include dependency graph for stress_test.cpp:

Go to the source code of this file.

Functions
int	main ()

---

Function Documentation

int main

(

)

Definition at line 31 of file stress_test.cpp.

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

---