z3 - The Z3 theorem prover / SMT solver

Property Value
Distribution NetBSD 7.1
Repository NetBSD amd64
Package filename z3-4.8.3nb1.tgz
Package name z3
Package version 4.8.3nb1
Package release -
Package architecture amd64
Package type tgz
Category math
Homepage https://github.com/Z3Prover/z3/
License mit
Maintainer -
Download size 11.90 MB
Installed size 44.71 MB
z3 is an open source theorem prover / SMT solver from Microsoft Research.
(SMT stands for "satisfiability modulo theories".)
Options: ocaml


Package Version Architecture Repository
z3-4.8.3nb1.tgz 4.8.3nb1 i386 NetBSD
z3 - - -


Name Value
ocaml >= 4.07.1nb3
ocaml-num >= 1.1nb2
python37 >= 3.7.0


Type URL
Mirror ftp.netbsd.org
Binary Package z3-4.8.3nb1.tgz
Source Package z3

Install Howto

Install z3 tgz package:

# pkg_add z3



See Also

Package Description
z80-asm-2.3.7nb1.tgz Z80 assembly code assembler and disassembler
zabbix-4.0.9.tgz Enterprise-class Monitoring Solution for Everyone
zabbix-frontend-4.0.9.tgz Zabbix PHP frontend
zathura-0.4.3nb1.tgz PDF viewer with vi-like keybindings
zathura-cb-0.1.8nb2.tgz Adds comic book support to zathura
zathura-djvu-0.2.8nb2.tgz Add DjVu support to zathura using djvulibre library
zathura-pdf-mupdf-0.3.4nb3.tgz Add PDF support to zathura using mupdf rendering engine
zathura-pdf-poppler-0.2.9nb8.tgz Add PDF support to zathura using poppler rendering engine
zathura-ps-0.2.6nb3.tgz Add PS support to zathura using libspectre library
zebedee-2.5.3nb13.tgz Simple tunneling program for TCP or UDP with encryption
zelibm-0nb19.tgz Visual Math Library Quality Check
zenity-2.32.1nb26.tgz Display GNOME dialogs from the command line
zenlisp-0.0.20131122.tgz Interpreter for symbolic LISP
zenmap-7.70nb1.tgz Nmap Security Scanner GUI
zeroconf-ioslave-4.14.3nb12.tgz Monitors the network for DNS-SD services (Zeroconf)