Module AI::CSP::INT
In: ai/csp/int.rb

This is an effort to provide constraints over variables with integer domains, and in particular domains such that domain[i] == i. With this assumption many of these can significantly improve performance over generic constraints.

Important note this is still very much a work in progress!

Classes and Modules

Class AI::CSP::INT::BinaryEqual
Class AI::CSP::INT::BinaryNotEqual
Class AI::CSP::INT::Equal
Class AI::CSP::INT::NotEqual

[Validate]