z3-java (math/z3) Updated: 1 month ago Add to my watchlist

Java bindings for the Z3 theorem prover

Java bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.12.5 License: MIT GitHub
Maintainers landonf
Categories science java math
Homepage https://github.com/Z3Prover/z3
Platforms darwin freebsd
  • universal (Build for multiple architectures)

Subport(s) (10)

"z3-java" depends on

lib (2)
build (3)

Ports that depend on "z3-java"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)