intprog.lib
constant solve_IP_1
constant solve_IP_2
constant solve_IP_3
constant solve_IP_4