Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers		2020-08-21 19:05:55 -07:00
..
default.nix	z3: add ttuegel to maintainers	2020-08-21 19:05:55 -07:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00