GitHub repository: victornicolet/slmoch
Primary language: OCaml
Created: 2015-12-08T14:03:56Z
Description: Small lustre model checker.