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