GitHub repository: nunchaku-inria/nunchaku
Primary language: OCaml
Created: 2015-09-30T14:14:51Z
Description: Model finder for higher-order logic