BrainCheck: A very simply invariant verification library
Latest commits.
Builders behind this project.