Opam Package z3.4.8.9

Package info

opam-namez3
opam-version4.8.9
synopsisZ3 solver
authors
  • MSR
homepagehttps://github.com/Z3prover/z3
licenseMIT
deps (5)
revdeps (3)
metas (1)
libraries (1)

Package modules

Package sources

z3

Package files

lib/z3/z3native_stubs.o
lib/z3/z3native.o
lib/z3/z3native.mli
lib/z3/z3native.cmx
lib/z3/z3native.cmo
lib/z3/z3native.cmi
lib/z3/z3ml.cmxs
lib/z3/z3ml.cmxa
lib/z3/z3ml.cma
lib/z3/z3ml.a
lib/z3/z3enums.o
lib/z3/z3enums.mli
lib/z3/z3enums.cmx
lib/z3/z3enums.cmo
lib/z3/z3enums.cmi
lib/z3/z3.o
lib/z3/z3.mli
lib/z3/z3.cmx
lib/z3/z3.cmo
lib/z3/z3.cmi
lib/z3/libz3ml.a
lib/z3/libz3.so
lib/z3/libz3.a
lib/z3/libz3-static.a
lib/z3/dllz3ml.so
lib/z3/META
lib/z3