Laurent Perron bc43e37c90 add sat inferface to the linear solver wrapper

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

..

DoubleArrayHelper.cs

update license headers

2018-11-10 18:00:53 +01:00

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

update license headers

2018-11-10 18:00:53 +01:00

SolverHelper.cs

revamp and simplify swig support, force typed enums for C# and Java for all except the constraint_solver/routing module; port examples; Fix SAT on very large problems

2018-12-11 17:03:03 +01:00

VariableHelper.cs

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

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