Toulbar2 a CP solver helped in designing a stable and self-assembling protein by organizing thousands of atoms in a favorable configuration in space. Toulbar2 is available on Github.
ACP Success Stories
A CP solver designs a self-assembling protein
Thomas Schiex03 Jun 2019TAGS: solvers ; bioinformaticsRead more...
From dreams to reality
Christian Schulte03 Apr 2019TAGS: solvers ; better-decisionsRead more...You need to buy a new car and want to try out configurations to know what can be done or is affordable? It is now possible if your car dealer uses the SAP S/4HANA tool. It uses the constraint solver Gecode to ensure that configurations are valid and that no restrictions are violated.
Outperforming state-of-the-art compilers in Unison
Christian Schulte03 Feb 2019TAGS: compilers ; softwareRead more...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.
Flow-Machines: CP techniques to model style in music and text
20 Aug 2015TAGS: music ; synthesisRead more...Creativity and innovation are the new motto of the modern world. We are constantly exhorted to be creative, to think out of the box, to push our limits. Flow machines (funded by the European Research Council (ERC) and coordinated by François Pachet) are content creation software aiming at enhancing individual creativity.
CP Has Landed on the Comet
Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez and Pauline Ballereau, of the Operations Research & Constraints group (ROC).20 May 2015TAGS: spaceRead more...On June 13th 2015, the robot-lab Philae woke up on the comet 67P/Churyumov-Gerasimenko to resume a series of experiments interrupted seven months ago. These experiments were scheduled using Constraint Programming, and researchers of the team ROC of the LAAS-CNRS lab developed propagation algorithms to help the Scientific Operations and Navigation Centre (SONC) to efficiently achieve this task.