test_seq_search.cpp File Reference

#include "test/flatzinc.hh"

Go to the source code of this file.

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