Support different backends for Gel's API
  • [ ] 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.