Up – Package index » hardcaml_verify » Sources » hardcaml_verify.kernel » config.ml

Source file `config.ml`

hardcaml_verify
- CHANGES
- LICENSE
- README
- Library hardcaml_verify
  - Hardcaml_verify
- Library hardcaml_verify.kernel
  - Hardcaml_verify_kernel
- Sources
  - hardcaml_verify
  - hardcaml_verify.kernel

1
2
3
4
let minisat = "minisat"
let picosat = "picosat"
let z3 = "z3"
let nusmv = "NuSMV"