This directory contains a minimal model of
Que Sera Consensus (QSC) and Threshold Logical Clocks (TLC)
for the Spin model checker.
To test it, simply use the provided run.sh script after installing Spin.
For background information on QSC and TLC, and other model implementations in several languages, please see the top level of this repository.