{"name":"metis-prover","summary":"Automatic theorem prover for first-order logic with equality","description":"","homepage_url":"https://www.gilith.com/research/metis/","license":"MIT","attribute_paths":["metis-prover"],"releases":[{"version":"2.4.20200713","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"metis-prover","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/50w0rwvb0zk4p0lwchks18bgn486yf1k-metis-prover-2.4.20200713","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"metis-prover","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/fhw5sgbp7qwxdv2ijim1jl7wszay6ip3-metis-prover-2.4.20200713","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"metis-prover","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/2fqkwb3ma75g9m06w1rbpwyb5wgr3iif-metis-prover-2.4.20200713","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"metis-prover","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/wwnmna7i0jbicabl9flpi5lx4zm6wqm2-metis-prover-2.4.20200713","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.20160713","last_updated":"2022-08-03T16:04:48Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"metis-prover","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/p0y7mb7syws5a9ygyd2qvyds954bg1pj-metis-prover-2.3.20160713","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"metis-prover","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/62jljmr0p9hqv6rh84f4765axlq2wiiv-metis-prover-2.3.20160713","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}