dwavesystems / dwavebinarycsp

Map constraint satisfaction problems with binary variables to binary quadratic models.
https://docs.ocean.dwavesys.com/projects/binarycsp/en/latest
Apache License 2.0
20 stars 27 forks source link

Create a method to reduce reducible constraints #37

Closed arcondello closed 6 years ago

arcondello commented 6 years ago

Constraint.reduce() or Constraint.filter() or Constraint.subconstraint()