You are here:

Package: z3

Upstream info
Summary: Satisfiability Modulo Theories (SMT) solver
Description:
URL: https://github.com/Z3Prover/z3/wiki
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/z3
Koschei: https://koschei.fedoraproject.org/package/z3
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 4.14.1-2.fc43
EL-9 epel-stable 4.8.15-2.el9
f42 base 4.14.1-1.fc42
f41 updates 4.13.4-1.fc41
  base 4.13.2-1.fc41
f40 updates 4.13.3-1.fc40
  base 4.13.0-1.fc40
f39 updates 4.12.6-1.fc39
  base 4.12.2-6.fc39
f38 updates 4.12.2-1.fc38
  base 4.12.1-2.fc38
f37 updates 4.11.2-2.fc37
  base 4.11.2-1.fc37
f36 updates 4.8.17-2.fc36
  base 4.8.15-2.fc36
f35 updates 4.8.14-1.fc35
  base 4.8.12-2.fc35
f34 updates 4.8.14-1.fc34
  base 4.8.10-2.fc34
f33 updates 4.8.9-4.fc33
  base 4.8.9-1.fc33
f32 testing 4.8.7-6.fc32.1
  updates 4.8.8-1.fc32
  base 4.8.7-6.fc32.1
f31 testing 4.8.6-1.fc31
  updates 4.8.7-1.fc31
  base 4.8.6-1.fc31
f30 updates 4.8.5-1.fc30
  base 4.8.4-2.fc30
f29 base 4.7.1-5.fc29
f28 updates 4.7.1-1.fc28
  base 4.6.0-2.fc28
f27 base 4.5.0-6.fc27
f26 base 4.5.0-2.fc26
f25 updates 4.5.0-1.fc25
  base 4.4.1-7.fc25
f24 updates 4.4.1-6.fc24
  base 4.4.1-4.fc24
f23 updates 4.4.1-6.fc23
  base 4.4.0-3.fc23
f22 updates 4.4.0-1.fc22
  base 4.3.2-3.20150329git.29606b5.fc22
f21 updates 4.4.0-1.fc21