// problem, no variables, no constraints //
Pb[0 vars, 0 cons]
Pb[0 vars, 0 cons]
==== VARIABLES ====
Pb[0 vars, 0 cons]
==== CONSTRAINTS ====

// problem, four variables, no constraints //
Pb[4 vars, 0 cons]
Pb[4 vars, 0 cons]
==== VARIABLES ====
v1:?[5]{1, 2, 3, 4, 5}
v2:?[5]{1, 2, 3, 4, 5}
v3:?[5]{1, 2, 3, 4, 5}
v4:?[5]{1, 2, 3, 4, 5}
Pb[4 vars, 0 cons]
==== CONSTRAINTS ====

// problem, four variables, five constraints, not AC //
Pb[4 vars, 5 cons]
Pb[4 vars, 5 cons]
==== VARIABLES ====
v1:?[5]{1, 2, 3, 4, 5}
v2:?[5]{1, 2, 3, 4, 5}
v3:?[5]{1, 2, 3, 4, 5}
v4:?[5]{1, 2, 3, 4, 5}
Pb[4 vars, 5 cons]
==== CONSTRAINTS ====
v2:? >= v1:? + 1
v3:? >= v4:? + 1
1*v4:? + 1*v2:? = 5
1*v2:? + 1*v3:? >= 7
v4:? >= v1:? + 1

// problem, four variables, five constraints, AC //
Pb[4 vars, 5 cons]
Pb[4 vars, 5 cons]
==== VARIABLES ====
v1:?[2]{1, 2}
v2:?[2]{2, 3}
v3:?[2]{4, 5}
v4:?[2]{2, 3}
Pb[4 vars, 5 cons]
==== CONSTRAINTS ====
v2:? >= v1:? + 1
v3:? >= v4:? + 1
1*v4:? + 1*v2:? = 5
1*v2:? + 1*v3:? >= 7
v4:? >= v1:? + 1

// solutions, if any //
v1 = 1  v2 = 2  v3 = 5  v4 = 3
v1 = 1  v2 = 3  v3 = 4  v4 = 2
v1 = 1  v2 = 3  v3 = 5  v4 = 2