An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
56,139 visible repositories in the index
1–2 of 2 · Most stars
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
56,139 visible repositories in the index
1–2 of 2 · Most stars
An SMT solver frontend for OCaml
Binding to Cairo, a 2D Vector Graphics Library.