Finite constraint solver

Brute-force small integer constraints with transparent bounds.