#include <gecode/kernel.hh>#include <gecode/flatzinc.hh>#include "test/test.hh"#include <functional>#include <string>#include <vector>Go to the source code of this file.
Classes | |
| class | Test::FlatZinc::FlatZincTest |
| Base class for tests for FlatZinc More... | |
| class | Test::FlatZinc::FlatZincErrorTest |
Namespaces | |
| namespace | Test |
| General test support. | |
| namespace | Test::FlatZinc |
| Tests for FlatZinc. | |