- [ ] Use Choco-Solver as an alternative backend: https://github.com/chocoteam/choco-solver
- [ ] Support using multiple backends at once as a way to support cross framework integration.
- [ ] Inform Choco project after the implementation is completed.
- [ ] Document about theory behind transforming CSP to a assignment problem.