Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/devonfulcher/proof-of-sat
Generate 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.
https://github.com/devonfulcher/proof-of-sat
blockchain blockchain-technology boolean-satisfiability consensus consensus-algorithm proof-of-work satisfiability
Last synced: about 1 month ago
JSON representation
Generate 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.
- Host: GitHub
- URL: https://github.com/devonfulcher/proof-of-sat
- Owner: DevonFulcher
- Created: 2018-07-19T05:30:06.000Z (over 6 years ago)
- Default Branch: main
- Last Pushed: 2021-11-24T16:21:05.000Z (about 3 years ago)
- Last Synced: 2023-03-02T02:24:22.450Z (almost 2 years ago)
- Topics: blockchain, blockchain-technology, boolean-satisfiability, consensus, consensus-algorithm, proof-of-work, satisfiability
- Language: Python
- Homepage:
- Size: 11.7 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0