nixpkgs/pkgs/applications/science/logic/z3
Michael Raskin ebb370f680 z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
..
default.nix z3: 4.8.3 -> 4.8.4 2019-01-08 19:15:24 -06:00
tptp.nix z3-tptp: init 2019-01-22 16:51:18 +01:00