{"name":"z3-tptp","version":"4.8.8","summary":"TPTP wrapper for Z3 prover","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"51428e8d38271d14146211867984b8742d304ea4"},"attr_path":"z3-tptp"},"last_updated":"2020-09-09T10:48:30Z"}}}