1 2 3 4 5 6 7
% Simple test model for CLI var 1..10: x; var 1..10: y; constraint x + y = 15; solve satisfy;