#include "test/int.hh"
#include <gecode/minimodel.hh>
Go to the source code of this file.
General test support.
Testing finite domain integers.
Tests for minimal modelling constraints (Boolean)
Boolean opcode.