{"name":"z3-tptp","version":"4.8.7","summary":"TPTP wrapper for Z3 prover","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"078b9f8aa68089253a10dc9dda8b4dbdf4eaddfc"},"attr_path":"z3-tptp"},"last_updated":"2020-08-17T05:32:13Z"}}}