{"name":"z3-tptp","version":"4.8.9","summary":"TPTP wrapper for Z3 prover","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b76d44b9612b0f2117cbce00a9e9508f068c752e"},"attr_path":"z3-tptp"},"last_updated":"2021-01-31T03:57:17Z"}}}