Automated Reasoning From space to healthcare, from crew sheduling to cryptography. Constraint Programming (CP), SAT, Planning and co. are ideal technologies when explainable and provably correct results are needed.

Operations Research Optimizing processes and workflows reduces cost and increases profit margins. Mixed Integer Programming (MIP) finds optimal solutions for your company.

Machine Learning Complex data can be approximated with machine learning, allowing to predict, recommend and process everything from imgaes, video and audio to user behaviour.