z3 4.15.4

Package Files

└── usr/
    ├── bin/
    │   └── z3 (24.5 MB)
    ├── include/
    │   ├── z3++.h (193 KB)
    │   ├── z3.h (495 B)
    │   ├── z3_algebraic.h (7.02 KB)
    │   ├── z3_api.h (266 KB)
    │   ├── z3_ast_containers.h (5.61 KB)
    │   ├── z3_fixedpoint.h (13.7 KB)
    │   ├── z3_fpa.h (42.4 KB)
    │   ├── z3_macros.h (389 B)
    │   ├── z3_optimization.h (12.6 KB)
    │   ├── z3_polynomial.h (1.03 KB)
    │   ├── z3_rcf.h (9.73 KB)
    │   ├── z3_spacer.h (4.36 KB)
    │   ├── z3_v1.h (2.17 KB)
    │   └── z3_version.h (299 B)
    └── lib/
        ├── cmake/
        │   └── z3/
        │       ├── Z3Config.cmake (2.64 KB)
        │       ├── Z3ConfigVersion.cmake (2.72 KB)
        │       ├── Z3Targets-release.cmake (822 B)
        │       └── Z3Targets.cmake (4.34 KB)
        ├── libz3.so -> "libz3.so.4.15"
        ├── libz3.so.4.15 -> "libz3.so.4.15.4.0"
        ├── libz3.so.4.15.4.0 (27.6 MB)
        └── pkgconfig/
            └── z3.pc (255 B)