Test::Int::MiniModel Namespace Reference

Tests for minimal modelling constraints (simple relations) More...

Classes
class	IntLex
	Test for relation between arrays of integer variables More...
class	BoolLex
	Test for relation between arrays of Boolean variables More...
class	Create
	Help class to create and register tests. More...
Variables
Create	c

---

Detailed Description

Tests for minimal modelling constraints (simple relations)