Whitepaper
3SAT Whitepaper
Current protocol thesis and mechanism notes in PDF format.
Docs
3SAT Documentation
Protocol documentation and research material for evaluators, design partners, and builders.
Open PDF
Demo Video
3SAT Demo Video
Product walkthrough and experience preview in video format.
API
Protocol API and SDK
Issuer and solver automation examples for users who want to integrate through scripts instead of the web UI.
Academy
3SAT Academy
A SAT knowledge base covering the origin of Boolean satisfiability, CNF and DIMACS formats, solver principles, proof artifacts, and major application domains.