devonfulcher / proof-of-sat Goto Github PK
View Code? Open in Web Editor NEWGenerate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of previous MAX-SAT instances. This is a prototype of how a proof of work algorithm can be derived from a relevant problem.