added a generalized lp inference interface
added maximizer/adder for lp gurobi w.i.p.
added maximizer/adder for lp gurobi w.i.p.
fixed major bug in constructor
fixed major bug in constructor
wip. all semi-rings
wip. all semi-rings
wip. all semi-rings
wip. all semi-rings
added maximizer/adder for lp gurobi w.i.p.
wip. all semi-rings
wip. all semi-rings
wip. all semi-rings
wip. all semi-rings
wip gurobi
wip gurobi
wip gurobi
wip gurobi
wip gurobi
added empty files