Do you want to improve the quality of your code? Unison is a code generator for compilers with a radically new approach. Unison rethinks code generation using combinatorial optimization techniques. Unison is available on Github and is integrated with the regular LLVM toolchain.
Welcome to the ACP
The Association for Constraint Programming aims at promoting constraint programming in every aspect of the scientific world, by encouraging its theoretical and practical developments, its teachning in the academic institutions, its adoption in the industrial world, and its use in the the application fields.
More about the ACP
About Constraint Programming
We provide a number of resources for you to explore the history and the state of the art of all aspects of computing with constraints.
- Read about Success Stories of our field.
- The PhD thesis archive is an initiative to collect and archive PhD dissertations from the field of Constraint Programming.
- And the Quarterly Reports of the ACP executive committee.
If you are interested in becoming a member of the Association for Constraint Programming, sign up here!
There is also the community-run constraints google group mailinglist for announcements and more.
2023 ACP Summer School
The 2023 ACP Summer School, July 10th to 14th 2023, Leuven, Belgium. Website with more info.
Twenty-Ninth International Conference on Principles and Practice of Constraint Programming, August 27th to 31st 2023, Toronto, Canada.