---
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](https://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](https://1millionspins.originneural.ai) - Interactive visualizations
- [Origin Neural](https://originneural.ai) - Company website
- [SmartLedger Solutions](https://smartledger.solutions) - Blockchain partner

## Contact

**Shawn@smartledger.solutions**

---

*Built with [Gradio](https://gradio.app) on [Hugging Face Spaces](https://huggingface.co/spaces)*