ocaml-z3

ocaml-z3 copied to clipboard

Hi, I wrote a `jbuilder` configuration for this library (oasis build was giving trouble with recent ppx). If the library can appreciably benefit (autogen merlin files, etc), let me know...

rvantonder

Install with OPAM instructions do not work

2

I wasn't able to install ocaml-z3 via the instructions in the README. When attempting to add the repo, I see the following: ``` $ opam repository add plasma-opam https://github.com/plasma-umass/ocaml-repository.git Processing:...

Reilithion