Skip to content




The Deep-Q solver, running on our proprietary Neuromorphic Chip, can dramatically reduce the time to find solutions to complex optimisation problems in the areas of product configuration, hardware & software verification, asynchronous circuit synthesis, expert system verification, planning (air-traffic control, telegraph routing, etc.), scheduling (logistics, flights, etc.), finite mathematics or crypto-analysis. It has broken many benchmarks of Boolean satisfiability problems and solves instances which have been beyond reach for current technology. Subscribe for updates

Copyright ©2022 Q.Holdings Ltd.
All Rights Reserved.
The Deep-Q solver, running on our proprietary Neuromorphic Chip, can dramatically reduce the time to find solutions to complex optimisation problems in the areas of product configuration, hardware & software verification, asynchronous circuit synthesis, expert system verification, planning (air-traffic control, telegraph routing, etc.), scheduling (logistics, flights, etc.), finite mathematics or crypto-analysis. It has broken many benchmarks of Boolean satisfiability problems and solves instances which have been beyond reach for current technology. Subscribe for updates

Copyright ©2022 Q.Holdings Ltd.
All Rights Reserved.

Stay updatedDeep-Q
The most powerful solver

Leave us your email and we will keep you updated about the launch of our Deep-Q solver.