Examples that Use the B-Prolog Interface to LP/MLP and SAT




# Problem Program Solver used
1 Multi-Knapsack multi_knapsack.pl IP
2 Warehouse location warehouse_location.pl IP
3 Fixed charge fixed_charge.pl IP
4 Graph coloring color.pl CP
5 Graph coloring with Boolean variables bcolor.pl SAT
6 Maxflow maxflow.pl IP
7 N-Queens queens.pl CP
8 N-Queens (Boolean variables) bqueens.pl SAT
9 Oil blending oil_blending.pl LP
10 Product product.pl LP
11 Numberlink numberlink_b.pl (Boolean) SAT
11 Numberlink numberlink_nb.pl SAT

Built-ins for modeling for linear programming/mixed integer programming and SAT solvers