Thomas Tuegel 87c7d1d4f8 z3: 4.8.8 -> 4.8.9		2020-09-11 14:38:43 -05:00
..
default.nix	z3: 4.8.8 -> 4.8.9	2020-09-11 14:38:43 -05:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00