v1.0.0 -- Initial Public Release

Daugherty Engine Benchmarks v1.0.0

Initial public release of benchmark tools for the DSC-1 Daugherty Engine.

Included

• Problem generators for Ising, 3-SAT, Max-Cut, and QUBO instances
• Solution validators with standard mathematical verification
• Claim verification script for public API testing
• Benchmark claims dataset with blockchain-anchored results
• CI pipeline (Python 3.9/3.11/3.12 matrix)
• SECURITY.md with vulnerability reporting and API security model

Usage

pip install -r scripts/requirements.txt
python scripts/generate_problems.py ising --n 1000 --seed 42
python scripts/validate_solution.py ising --problem problem.json --solution solution.json

Licenses

• Data: CC-BY-4.0
• Scripts: MIT