Laurent Perron bc43e37c90 add sat inferface to the linear solver wrapper

2019-10-18 14:39:51 +02:00

..

DoubleArrayHelper.cs

…

linear_solver.i

add sat inferface to the linear solver wrapper

2019-10-18 14:39:51 +02:00

LinearConstraint.cs

test linear solver constraints(), variables(), and SetHint in Python/Java/C#

2019-07-01 13:41:17 +02:00

LinearExpr.cs

…

SolverHelper.cs

…

VariableHelper.cs

working SetNumTheads in Python/Java/C#; Working SetHint in java/C#

2019-06-29 12:35:15 +02:00