on_restart_last_val_int.cpp File Reference

#include "test/flatzinc.hh"
#include "gecode/flatzinc/restart-random.hpp"

Go to the source code of this file.

Namespaces
namespace	Test
	General test support.
namespace	Test::FlatZinc
	Tests for FlatZinc.