Proof-of-SAT

consensus

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.

How to download and setup Proof-of-SAT

Open terminal and run command

git clone https://github.com/DevonFulcher/Proof-of-SAT.git

git clone is used to create a copy or clone of Proof-of-SAT repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with Proof-of-SAT https://github.com/DevonFulcher/Proof-of-SAT/archive/master.zip

Or simply clone Proof-of-SAT with SSH

[email protected]:DevonFulcher/Proof-of-SAT.git

If you have some problems with Proof-of-SAT

You may open issue on Proof-of-SAT support forum (system) here: https://github.com/DevonFulcher/Proof-of-SAT/issues

Similar to Proof-of-SAT repositories

Here you may see Proof-of-SAT alternatives and analogs

etcd tikv hraftd js translations nanochain rqlite atomix copycat floyd x0 verdi-raft fabric quorum tendermint awesome-distributed-systems paxosstore burrow cita elle ethermint-archive awesome-cryptoeconomics Bismuth truechain-consensus-core uplink go-spacemesh xrpl-dev-portal awesome-decentralized-papers swim-js yaraft