7
$\begingroup$

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?

$\endgroup$

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.