Causal Consistency Checker in Python.
C3PY is a Python library for checking the causal consistency of an execution history of a concurrent system. It is based on the paper "On verifying causal consistency" by Bouajjani, et al.
C3PY checks whether a given execution history is causally consistent provided the sequential specification of the system.
The library is still under active development and the API is subject to change. Please see the tests for usage examples.