deciZns

deciZns provides specialist expertise for organisations tackling complex strategic and operational decisions. We help clients analyse, make, and automate those decisions through high-quality modelling, backed by MiniZinc, and advanced solver technology. Our team combines direct experience developing these tools with practical experience applying them to real problems. That allows us to help clients make better decisions, improve performance, and achieve more reliable outcomes.

MiniZinc Support

We provide expert support for MiniZinc. As three of the core developers of MiniZinc, we bring rare first-hand expertise in the language and its ecosystem.

Language Features

We design and implement new MiniZinc features, tooling, and integrations, helping organisations extend MiniZinc into their own products, workflows, and technical environments.

Modelling Expertise

We help clients develop, refine, and improve MiniZinc models for decision and optimisation problems, with experience spanning scheduling, rostering, configuration, packing, and other complex application areas.

Solver Technology

We help clients troubleshoot and enhance solver behaviour in optimisation workflows, including deeper technical issues beyond day-to-day model development. Our work includes Gecode, Huub, and a broad range of solver approaches.

If your team needs assistance with MiniZinc, decision and optimisation modelling, or solver performance, we offer the depth of expertise to make real progress. Get in touch to discuss how we can help.