I am novice to constraint programming and I need to implement the following algorithms.
- Conflict-based backjumping
- AC partial lookahead
- Forward checking
- Forward checking + dom
- 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?