I am novice to constraint programming and I need to implement the following algorithms.

  1. Backtacking
  2. Conflict-based backjumping
  3. AC partial lookahead
  4. MAC
  5. Forward checking
  6. Forward checking + dom
  7. Forward checking + LCV'

Is it easy to extensible with available constraint solvers?

Or should I implement from start to end? Is there any solver that includes those algorithms?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.