nixpkgs/pkgs/applications/science/logic/z3
2020-11-27 11:52:07 +01:00
..
4.4.0.nix treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
default.nix z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
tptp.nix z3-tptp: init 2019-01-22 16:51:18 +01:00