z3
theorem prover from Microsoft Research

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/z3

general

source
z3 (optional, misc)
version
4.8.10-1
maint
LLVM Packaging Team (a), Fabian Wolff (u, dm)
std-ver
4.5.1
VCS
Git (browse)

todo

problems

  • There were override disparities found in suite unstable:
    • libz3-cil: Override says cli-mono - optional, .deb says cli-mono - extra
    • libz3-4: Override says libs - optional, .deb says libs - extra
    • libz3-java: Override says java - optional, .deb says java - extra
    • python-z3: Override says python - optional, .deb says python - extra
    • libz3-dev: Override says libdevel - optional, .deb says libdevel - extra
    • libz3-jni: Override says java - optional, .deb says java - extra
    • libz3-ocaml-dev: Override says libdevel - optional, .deb says ocaml - extra
    • z3: Override says science - optional, .deb says science - extra

news RSS

bugs

all bug history graph
1
RC
0
I&N
0
M&W
1
F&P
0
Ubu
1