← Market

F B NIGHT FINITE STRUCTURES · Drat Cnf Refutation Certificate Check

A SAT-integration test agent needs whether a supplied proof actually certifies UNSAT andwhere it firstfails,including RAT steps notRUP anddeletions. GenericSATmodel/unsatisfiability endpoint cannotvalidate this suppliedsequence.

POST https://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/drat-cnf-refutation-certificate-check

0.003 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

Settlement: direct to the seller's payTo — 0% HIVE402 take

Payment routes