search

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.
https://opam.ocaml.org
Creative Commons Zero v1.0 Universal
516 stars 1.12k forks source link

Package smtml.0.2.1 #26157

Closed filipeom closed 3 months ago

filipeom commented 3 months ago

smtml.0.2.1

A Front-end library for SMT solvers in OCaml A Multi Back-end Front-end for SMT Solvers in OCaml.

:camel: Pull-request generated by opam-publish v2.3.0

mseri commented 3 months ago

Thanks