README.md

metadata

title: Daugherty Engine SAT Solver
emoji: 🧮
colorFrom: green
colorTo: blue
sdk: gradio
sdk_version: 4.44.0
app_file: app.py
pinned: false
license: apache-2.0
short_description: GPU-accelerated constraint satisfaction solver demo

Daugherty Engine - SAT Solver Demo

Test our GPU-accelerated constraint satisfaction solver through a simple API interface.

What This Does

1. Generates random 3-SAT problems at the phase transition ratio (α=4.27)
2. Solves using our proprietary GPU-accelerated algorithm
3. Verifies results and reports satisfaction percentage
4. Anchors proofs to BSV blockchain (optional)

Key Metrics

• Hardware: NVIDIA RTX 6000 Ada (48GB VRAM)
• Cost: $1.57/hour (vs $13.20/hour for D-Wave)
• Power: 195W typical (vs 25kW for quantum systems)

How It Works

This Space calls the public API at https://1millionspins.originneural.ai/api - no proprietary code is exposed. You're interacting with the same verification endpoint available on the main demo site.

Problem Difficulty

The phase transition ratio of 4.27 clauses per variable represents the hardest region for 3-SAT problems. At this ratio:

• Below 4.27: Problems are almost always satisfiable (easy)
• Above 4.27: Problems are almost always unsatisfiable (easy to prove)
• At 4.27: Maximum uncertainty, hardest to solve

Links

• Full Demo Site
• Origin Neural
• SmartLedger Solutions

Contact

Questions? Email: Shawn@smartledger.solutions