dogear

enter for all results · esc to close

Smt.ml

github.comtool

visit github.com ↗
0
sign in to dogear this
from
OCaml
added
2026-10-10
likes
0

OCaml › Program analysis: “Smt.ml is a frontend OCaml library that interfaces with multiple SMT solvers, enabling seamless integration of solvers like Z3, cvc5, Colibri2, Bitwuzla, and Alt-Ergo within OCaml programs.”