z3 - The Z3 theorem prover / SMT solver

Property Value
Distribution NetBSD 8.0
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 12.38 MB
Installed size 46.22 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.9nb3.tgz Enterprise-class Monitoring Solution for Everyone
zabbix-frontend-4.0.9.tgz Zabbix PHP frontend
zathura-0.4.3nb2.tgz PDF viewer with vi-like keybindings
zathura-cb-0.1.8nb3.tgz Adds comic book support to zathura
zathura-djvu-0.2.8nb3.tgz Add DjVu support to zathura using djvulibre library
zathura-pdf-mupdf-0.3.5nb1.tgz Add PDF support to zathura using mupdf rendering engine
zathura-pdf-poppler-0.2.9nb10.tgz Add PDF support to zathura using poppler rendering engine
zathura-ps-0.2.6nb5.tgz Add PS support to zathura using libspectre library
zebedee-2.5.3nb14.tgz Simple tunneling program for TCP or UDP with encryption
zelibm-0nb19.tgz Visual Math Library Quality Check
zenicb-19981202nb5.tgz ICB client for Emacs
zenirc-2.112nb3.tgz IRC client for Emacs
zenity-2.32.1nb27.tgz Display GNOME dialogs from the command line
zenlisp-0.0.20131122.tgz Interpreter for symbolic LISP