nixpkgs/pkgs/applications/science/logic/prover9
2016-02-08 00:44:00 +00:00
..
default.nix prover9: turn off format hardening 2016-02-08 00:44:00 +00:00