Welcome to the ProvideQ Toolbox!ProvideQ aims to enable the Enablers by providing Quantum Readiness for Optimization Providers. We collect quantum and classical algorithms for well-known optimization problems and implement solution strategies to decide which algorithms can provide the best solutions for a specific problem instance. This website represents the current prototype of our toolbox. It is currently in active development.
Feel free to try it out!
Our GitHub: @ProvideQ
API documentation: OpenAPI definition
Contact: provideq@lists.kit.edu
Solve a problem
For a given Boolean formula, this algorithm checks if there exists an interpretation that satisfies it.
Solve this problem →
For a given undirected, weighted graph, this algorithm finds a cut that is a maximum in some way or another.
Solve this problem →
Check whether a given feature model in the UVL format is void or if it has dead features.
Solve this problem →
For a quadratic term with binary decision variables, find the variable assignment minimizing the term.
Solve this problem →