Daugherty Engine
🧮
2
Test constraint satisfaction and optimization problems
Quantum Optimization & AI
GPU-accelerated SAT solvers, Ising model optimization, and quantum-competitive classical algorithms.
GPU-accelerated SAT solvers, Ising model optimization, and quantum-competitive classical algorithms.