package z3

  1. Overview
  2. Docs
Z3 solver

Install

Dune Dependency

Authors

Maintainers

Sources

z3-4.12.2.tar.gz
sha256=9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f
sha512=375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2