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!