README.md

metadata

title: Daugherty Engine
emoji: 🧮
colorFrom: green
colorTo: blue
sdk: gradio
sdk_version: 5.9.1
python_version: '3.10'
app_file: app.py
pinned: false
license: apache-2.0
short_description: GPU-accelerated SAT & Ising solver - quantum-competitive
tags:
  - optimization
  - sat-solver
  - ising-model
  - constraint-satisfaction
  - quantum-computing
  - gpu
  - nvidia

Daugherty Engine

GPU-accelerated constraint satisfaction and combinatorial optimization achieving quantum-competitive results on classical hardware.

What You Can Test

Problem Type	Description	Quantum Equivalent
3-SAT	Boolean satisfiability at phase transition (α=4.27)	Gate-based quantum computing
Ising Model	Spin glass energy minimization	Quantum annealing (D-Wave)

Key Results

• 128x more power efficient than D-Wave Advantage
• 8x cheaper per solve than quantum cloud services
• Runs on a single NVIDIA RTX 6000 Ada ($1.57/hour)

How It Works

This Space provides API-only access to the Daugherty Engine. No proprietary algorithms or source code are exposed. You interact with the same verification endpoints available at 1millionspins.originneural.ai.

API Endpoints Used

• POST /api/verify/sat - 3-SAT verification
• POST /api/verify/ising - Ising model optimization
• GET /api/health - System status

The Science

3-SAT at Phase Transition

At the clause-to-variable ratio α = 4.27:

• Problems are maximally hard (neither clearly SAT nor UNSAT)
• This is the "computational phase transition"
• First proven NP-complete problem (Cook-Levin, 1971)

Ising Model

The Ising Hamiltonian: H(s) = -Σᵢⱼ Jᵢⱼ sᵢ sⱼ - Σᵢ hᵢ sᵢ

• Native problem type for quantum annealers
• Maps to QUBO (Quadratic Unconstrained Binary Optimization)
• Applications: portfolio optimization, logistics, ML

Hardware

System	Power	Cost/Hour	Qubits/Cores
Daugherty Engine	195W	$1.57	18,176 CUDA
D-Wave Advantage	25kW	$13.20	5,000 qubits
IBM Quantum	15kW	$1.60	127 qubits

Links

• Full Demo - Interactive visualizations
• Origin Neural - Company website
• SmartLedger Solutions - Blockchain partner

Contact

Shawn@smartledger.solutions

---

Built with Gradio on Hugging Face Spaces