Endlicher Constraint-Löser

Löst kleine Ganzzahl-Constraints per Brute Force mit sichtbaren Grenzen.

Brute-force small integer constraints with transparent bounds.