Test::Int::MiniModel Namespace Reference
Detailed Description
Tests for minimal modelling constraints (simple relations).
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 |