Category "constraint-programming"

Refuelling and optional nodes in a VRP

I am using the Google OR-Tools librairy for Python to solve a VRP problem.My problem is quite simple : It is a basic VRP problem where vehicles are "cleaning ve

How is pywraplp SAT different from CP-SAT?

In ortools if you have only 0-1 variables you can either use CP-SAT from from ortools.sat.python import cp_model or you can use from ortools.linear_solver impo

How is pywraplp SAT different from CP-SAT?

In ortools if you have only 0-1 variables you can either use CP-SAT from from ortools.sat.python import cp_model or you can use from ortools.linear_solver impo

Choco-Solver: Is there a way to know how many times a constraint is broken during the solving process?

My models is inefficient and taking too long to find valid solutions so I think knowing how many times the constraints are being broken would be useful for test

Does the Choco-Solver Java library support Parallel Programming?

My constraint problem has become too complex, and I'm looking to know if the Choco-Solver framework which I'm using to model and solve the problem supports a pa