pumpkin-solver 0.5.0

The Pumpkin combinatorial optimisation solver library.
Documentation 
1
2
3
4
5
6
7
8
9
10

var bool: x:: output_var;
var bool: y:: output_var;
var 0..2: X_INTRODUCED_0_:: output_var:: is_defined_var;
var 0..1: X_INTRODUCED_2_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_3_ ::var_is_introduced :: is_defined_var;
constraint int_lin_eq([1,1,-1],[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_0_],0):: defines_var(X_INTRODUCED_0_):: ctx_pos;
constraint bool2int(y,X_INTRODUCED_2_):: defines_var(X_INTRODUCED_2_);
constraint bool2int(x,X_INTRODUCED_3_):: defines_var(X_INTRODUCED_3_);
solve :: warm_start_array([warm_start_bool([x],[true]),warm_start_bool([y],[false])]) maximize X_INTRODUCED_0_;