The MMFT ISO Validation / ISO Designer is a tool that validates and generates microfluidic chip designs following the ISO 22916 standard. Such a chip consists of a fluidic circuit board (a similar concept as printed circuit boards) and a number of components that are attached on top of it. The microfluidic channels inside the fluidic circuit board then connect these components. The tool ensures proper placement and routing, but also considers practical constraints such as clamps, pins, and routing exclusion zones.

On the algorithmic side, it uses Z3 as an SMT solver via TypeScript. SMT solvers are able to find a model that satisfies a set of constraints, in this case mostly geometric constraints, or proof that no such model exists and the given problem is unsatisfiable (the microfluidic chip is not valid). This can be used to let the solver find valid values for some of the input parameters, effectively letting it complete a partial design. Of course, performance becomes an issue for more complex problems. A minimalistic graphical output is provided via React and can be run locally with npm.