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.
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.
This year the ACP will again hold elections for 3 new Executive Committee members. Read the election statements of the 5 candidates, of which 3 will be elected.
The election is held between the 19th of July and the 26th of August, 2022. You need to be a member of the ACP by the 19th of August 2022 to be eligible to vote. More information on the election statements page above.
Twenty-Eighth International Conference on Principles and Practice of Constraint Programming, July 31st to August 8th 2022, Haifa, Israel.