Samuel W. Flint 52a7c4e30e z3: Patch file to get rid of python error ... See #55591, Z3Prover/z3#2131		2019-02-14 10:11:15 -06:00
..
0001-fix-2131.patch	z3: Patch file to get rid of python error	2019-02-14 10:11:15 -06:00
default.nix	z3: Patch file to get rid of python error	2019-02-14 10:11:15 -06:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00