- [ ] 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.
☐
_
Meta
- task-archive
- 2021-09-28-release-software-to-maven-central-repositories.html
- 2021-10-20-support-different-backends-for-gel-s-api.html
- 2021-9-17-support-flatzinc.html
- 2022-11-12-create-versioning-policy.html
- 2023-02-12-deploy-snapshot-builds-during-ci.html
- 2023-11-15-configure-logging-via-external-config-and-not-code.html
- 2024-08-18-create-dedicated-doc-projects.html
- 2024-08-18-provide-logos-for-interest-groups-in-this-project.html
- 2024-11-14-consider-creating-a-stable-api.html
- 2025-04-16-create-a-meme-strategy.html
- 2025-04-16-create-logo-for-network-project.html
- 2025-05-06-create-new-art.html
Back to content
Content
Privacy Policy
Impressum
Licensing
Main Menu
Messages
- Activate Javascript in order
to enable all functions of this site.
Metadata About This Document
Unless otherwise noted, the content of this html file is licensed under the EPL-2.0 OR GPL-2.0-or-later.
Files and other contents, which are linked to by this HTML file, have their own rulings.