Communication between Coq and SAT/SMT solvers
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3