org.clojars.bkushigian/clj-z3

Auto-generated Z3 Bindings

Leiningen/Boot

[org.clojars.bkushigian/clj-z3 "0.1.0-SNAPSHOT"]

org.clojars.bkushigian/clj-z3 {:mvn/version "0.1.0-SNAPSHOT"}

implementation("org.clojars.bkushigian:clj-z3:0.1.0-SNAPSHOT")

<dependency>
  <groupId>org.clojars.bkushigian</groupId>
  <artifactId>clj-z3</artifactId>
  <version>0.1.0-SNAPSHOT</version>
</dependency>

Note: this artifact is a non-canonical fork. See the wiki for more details.

Pushed by
bkushigian on Aug 19, 2018 with this git tree
Recent Versions
- 0.1.0-SNAPSHOT
Dependencies
- org.clojure/clojure 1.8.0
Homepage
http://github.com/bkushigian/clj-z3
License
- Eclipse Public License
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
[![Clojars Project](https://img.shields.io/clojars/v/org.clojars.bkushigian/clj-z3.svg)](https://clojars.org/org.clojars.bkushigian/clj-z3)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/org.clojars.bkushigian/clj-z3.svg?include_prereleases)](https://clojars.org/org.clojars.bkushigian/clj-z3)