GitHub repository: realityforge/braincheck
Primary language: Java
Created: 2017-09-21T04:00:19Z
Description: BrainCheck: A very simply invariant verification library