nixpkgs/pkgs/applications/science/logic/z3
2022-08-28 11:06:19 -05:00
..
4.4.0.nix z3_4_4_0: Fix build on darwin. 2022-06-23 12:40:46 -04:00
default.nix z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
tptp.nix