Session
Wallet
AccountNot connected
NetworkNot connected (Arbitrum Sepolia 421614)
USDC Balance****
$3SAT Balance****
Install a browser wallet to submit protocol transactions.
I'm a ...
Query
Search Database
Format-normalized search
Search ignores comments, whitespace, literal order, clause order, duplicate literals, and duplicate clauses.
Variable-renamed SAT matches return an assignment rebuilt and checked against your CNF. Matched UNSAT proofs are transformed asynchronously and released only after a checker accepts the proof against your exact target CNF.
Ready to search
Search by exact file hash, format-normalized CNF hash, and variable-renamed structure hash.
Bounty Marketplace
No bounties found