Driving High-Tech Innovation

Formal IT is a company that provides high-tech reasoning/optimization solutions, all powered by a central platform developed at Formal IT. Our platform is a generic distributed solver that can quickly find solutions to a large set of very hard optimisation and constraint satisfaction problems. The platform is accessible through a web-api which can be used from anywhere in the world. We also provide several domain specific languages that directly translate your problem into an optimal input form for our platform. The platform can be integrated in many ways, and many different applications. We have web applications that use the reasoning for code generation and advanced workflow systems.

At the core of our platform is an advanced boolean satisfiability solver, which can be used in many different areas, for example problems related to formal verification, cryptography, planning problems, equivalence-checking and many other forms of automatic reasoning and constraint solving.

Connect with us

We can solve many forms of optimisation and constraint problems, connect with us for a demo

+31 6 2202 6665