{"id":132347,"name":null,"description":null,"url":"https://github.com/awslabs/rust-smt-ir","last_synced_at":"2025-09-09T11:53:22.594Z","repository":{"id":43225318,"uuid":"397791397","full_name":"awslabs/rust-smt-ir","owner":"awslabs","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-28T01:02:08.000Z","size":13275,"stargazers_count":40,"open_issues_count":1,"forks_count":9,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-09-03T05:17:47.426Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"SMT","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awslabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-19T02:24:50.000Z","updated_at":"2025-06-28T01:02:12.000Z","dependencies_parsed_at":"2024-01-13T01:42:50.569Z","dependency_job_id":"ef700f84-7d81-4ae0-8d0d-13f7ab45d26c","html_url":"https://github.com/awslabs/rust-smt-ir","commit_stats":{"total_commits":66,"total_committers":10,"mean_commits":6.6,"dds":0.5,"last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/awslabs/rust-smt-ir","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274265045,"owners_count":25252490,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-09T02:00:10.223Z","response_time":80,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"awslabs","name":"Amazon Web Services - Labs","uuid":"3299148","kind":"organization","description":"AWS Labs","email":null,"website":"http://amazon.com/aws/","location":"Seattle, WA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3299148?v=4","repositories_count":914,"last_synced_at":"2025-05-20T11:06:29.184Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/awslabs","funding_links":[],"total_stars":176592,"followers":8487,"following":0,"created_at":"2022-11-02T16:28:29.342Z","updated_at":"2025-05-20T11:06:29.184Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs/repositories"},"packages":[{"id":5249087,"name":"aws-smt-ir-derive","ecosystem":"cargo","description":"Intermediate representation for SMT problems","homepage":null,"licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/awslabs/rust-smt-ir","keywords_array":["smt","smt-lib","solver"],"namespace":null,"versions_count":3,"first_release_published_at":"2022-09-16T00:41:33.563Z","latest_release_published_at":"2023-08-07T18:04:16.096Z","latest_release_number":"0.1.2","last_synced_at":"2025-09-02T22:18:56.067Z","created_at":"2022-09-16T01:11:45.265Z","updated_at":"2025-09-03T05:08:02.512Z","registry_url":"https://crates.io/crates/aws-smt-ir-derive/","install_command":"cargo install aws-smt-ir-derive","documentation_url":"https://docs.rs/aws-smt-ir-derive/","metadata":{"categories":["science"]},"repo_metadata":{"id":43225318,"uuid":"397791397","full_name":"awslabs/rust-smt-ir","owner":"awslabs","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-28T01:02:08.000Z","size":13275,"stargazers_count":40,"open_issues_count":1,"forks_count":9,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-07-30T00:57:26.820Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"SMT","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awslabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-19T02:24:50.000Z","updated_at":"2025-06-28T01:02:12.000Z","dependencies_parsed_at":"2024-01-13T01:42:50.569Z","dependency_job_id":"ef700f84-7d81-4ae0-8d0d-13f7ab45d26c","html_url":"https://github.com/awslabs/rust-smt-ir","commit_stats":{"total_commits":66,"total_committers":10,"mean_commits":6.6,"dds":0.5,"last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/awslabs/rust-smt-ir","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273392297,"owners_count":25097259,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-03T02:00:09.631Z","response_time":76,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"awslabs","name":"Amazon Web Services - Labs","uuid":"3299148","kind":"organization","description":"AWS Labs","email":null,"website":"http://amazon.com/aws/","location":"Seattle, WA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3299148?v=4","repositories_count":914,"last_synced_at":"2025-05-20T11:06:29.184Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/awslabs","funding_links":[],"total_stars":176592,"followers":8487,"following":0,"created_at":"2022-11-02T16:28:29.342Z","updated_at":"2025-05-20T11:06:29.184Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs/repositories"},"tags":[{"name":"v0.2.0","sha":"9e1536eb61a7686de37876d86fd50afcc294eea2","kind":"commit","published_at":"2022-11-11T22:38:28.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.2.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0/manifests"},{"name":"v0.1.1","sha":"4f68564f181441d35326ceba262ae876e7f6d5dc","kind":"commit","published_at":"2022-09-10T04:42:47.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.1","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"efe2bb096cb5da1018c634bf9a0542084651c9a5","kind":"commit","published_at":"2022-06-08T04:12:18.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-09-03T05:08:02.512Z","dependent_packages_count":1,"downloads":4696,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":73.69115585165363,"dependent_repos_count":29.318292202377133,"dependent_packages_count":16.95609541526534,"stargazers_count":19.516508893633787,"forks_count":18.799886366760447,"average":31.65638774593807},"purl":"pkg:cargo/aws-smt-ir-derive","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/cargo/aws-smt-ir-derive","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/cargo/aws-smt-ir-derive","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/cargo/aws-smt-ir-derive/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-04T14:10:56.701Z","issues_count":3,"pull_requests_count":13,"avg_time_to_close_issue":2288315.0,"avg_time_to_close_pull_request":94828.30769230769,"issues_closed_count":2,"pull_requests_closed_count":13,"pull_request_authors_count":8,"issue_authors_count":2,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.9230769230769231,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/issues","maintainers":[{"login":"BrunoDutertre","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/BrunoDutertre"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir-derive/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir-derive/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir-derive/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir-derive/related_packages","maintainers":[{"uuid":"176198","login":"BrunoDutertre","name":"Bruno Dutertre","email":null,"url":"https://github.com/BrunoDutertre","packages_count":6,"html_url":"https://crates.io/users/BrunoDutertre","role":null,"created_at":"2022-11-08T06:46:32.745Z","updated_at":"2022-11-08T06:46:32.745Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/BrunoDutertre/packages"},{"uuid":"176318","login":"mww-aws","name":null,"email":null,"url":"https://github.com/mww-aws","packages_count":6,"html_url":"https://crates.io/users/mww-aws","role":null,"created_at":"2022-11-08T06:46:32.775Z","updated_at":"2022-11-08T06:46:32.775Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/mww-aws/packages"}],"registry":{"name":"crates.io","url":"https://crates.io","ecosystem":"cargo","default":true,"packages_count":204951,"maintainers_count":50632,"namespaces_count":0,"keywords_count":51828,"github":"rust-lang","metadata":{"funded_packages_count":19950},"icon_url":"https://github.com/rust-lang.png","created_at":"2022-04-04T15:19:22.689Z","updated_at":"2025-09-09T06:34:17.806Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/namespaces"}},{"id":5249086,"name":"aws-smt-ir","ecosystem":"cargo","description":"Intermediate representation for SMT problems","homepage":null,"licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/awslabs/rust-smt-ir","keywords_array":["smt","smt-lib","solver"],"namespace":null,"versions_count":4,"first_release_published_at":"2022-09-16T00:49:19.669Z","latest_release_published_at":"2023-08-07T18:16:52.329Z","latest_release_number":"0.3.0","last_synced_at":"2025-09-05T17:20:58.037Z","created_at":"2022-09-16T01:11:45.140Z","updated_at":"2025-09-06T12:51:22.548Z","registry_url":"https://crates.io/crates/aws-smt-ir/","install_command":"cargo install aws-smt-ir","documentation_url":"https://docs.rs/aws-smt-ir/","metadata":{"categories":["science"]},"repo_metadata":{"id":43225318,"uuid":"397791397","full_name":"awslabs/rust-smt-ir","owner":"awslabs","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-28T01:02:08.000Z","size":13275,"stargazers_count":40,"open_issues_count":1,"forks_count":9,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-09-03T05:17:47.426Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"SMT","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awslabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-19T02:24:50.000Z","updated_at":"2025-06-28T01:02:12.000Z","dependencies_parsed_at":"2024-01-13T01:42:50.569Z","dependency_job_id":"ef700f84-7d81-4ae0-8d0d-13f7ab45d26c","html_url":"https://github.com/awslabs/rust-smt-ir","commit_stats":{"total_commits":66,"total_committers":10,"mean_commits":6.6,"dds":0.5,"last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/awslabs/rust-smt-ir","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273906952,"owners_count":25188834,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-06T02:00:13.247Z","response_time":2576,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"awslabs","name":"Amazon Web Services - Labs","uuid":"3299148","kind":"organization","description":"AWS Labs","email":null,"website":"http://amazon.com/aws/","location":"Seattle, WA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3299148?v=4","repositories_count":914,"last_synced_at":"2025-05-20T11:06:29.184Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/awslabs","funding_links":[],"total_stars":176592,"followers":8487,"following":0,"created_at":"2022-11-02T16:28:29.342Z","updated_at":"2025-05-20T11:06:29.184Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs/repositories"},"tags":[{"name":"v0.2.0","sha":"9e1536eb61a7686de37876d86fd50afcc294eea2","kind":"commit","published_at":"2022-11-11T22:38:28.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.2.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0/manifests"},{"name":"v0.1.1","sha":"4f68564f181441d35326ceba262ae876e7f6d5dc","kind":"commit","published_at":"2022-09-10T04:42:47.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.1","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"efe2bb096cb5da1018c634bf9a0542084651c9a5","kind":"commit","published_at":"2022-06-08T04:12:18.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-09-06T12:51:22.548Z","dependent_packages_count":0,"downloads":5472,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":63.36803356259827,"dependent_repos_count":16.489413237738212,"dependent_packages_count":36.132869269696,"stargazers_count":20.122355606226574,"forks_count":17.758980473990164,"docker_downloads_count":null,"average":30.774330430049844},"purl":"pkg:cargo/aws-smt-ir","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/cargo/aws-smt-ir","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/cargo/aws-smt-ir","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/cargo/aws-smt-ir/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-04T14:10:56.701Z","issues_count":3,"pull_requests_count":13,"avg_time_to_close_issue":2288315.0,"avg_time_to_close_pull_request":94828.30769230769,"issues_closed_count":2,"pull_requests_closed_count":13,"pull_request_authors_count":8,"issue_authors_count":2,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.9230769230769231,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/issues","maintainers":[{"login":"BrunoDutertre","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/BrunoDutertre"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/aws-smt-ir/related_packages","maintainers":[{"uuid":"176198","login":"BrunoDutertre","name":"Bruno Dutertre","email":null,"url":"https://github.com/BrunoDutertre","packages_count":6,"html_url":"https://crates.io/users/BrunoDutertre","role":null,"created_at":"2022-11-08T06:46:32.301Z","updated_at":"2022-11-08T06:46:32.301Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/BrunoDutertre/packages"},{"uuid":"176318","login":"mww-aws","name":null,"email":null,"url":"https://github.com/mww-aws","packages_count":6,"html_url":"https://crates.io/users/mww-aws","role":null,"created_at":"2022-11-08T06:46:32.308Z","updated_at":"2022-11-08T06:46:32.308Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/mww-aws/packages"}],"registry":{"name":"crates.io","url":"https://crates.io","ecosystem":"cargo","default":true,"packages_count":204951,"maintainers_count":50632,"namespaces_count":0,"keywords_count":51828,"github":"rust-lang","metadata":{"funded_packages_count":19950},"icon_url":"https://github.com/rust-lang.png","created_at":"2022-04-04T15:19:22.689Z","updated_at":"2025-09-09T06:34:17.806Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/namespaces"}},{"id":5243103,"name":"amzn-smt-ir-derive","ecosystem":"cargo","description":"Intermediate representation for SMT problems","homepage":null,"licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/awslabs/rust-smt-ir","keywords_array":["smt-lib","smt","solver"],"namespace":null,"versions_count":1,"first_release_published_at":"2022-09-12T23:16:34.164Z","latest_release_published_at":"2025-09-08T08:51:18.940Z","latest_release_number":null,"last_synced_at":"2025-09-08T08:51:18.940Z","created_at":"2022-09-12T23:37:54.026Z","updated_at":"2025-09-09T08:24:34.896Z","registry_url":"https://crates.io/crates/amzn-smt-ir-derive/","install_command":"cargo install amzn-smt-ir-derive","documentation_url":"https://docs.rs/amzn-smt-ir-derive/","metadata":{"categories":["science"]},"repo_metadata":{"id":43225318,"uuid":"397791397","full_name":"awslabs/rust-smt-ir","owner":"awslabs","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-28T01:02:08.000Z","size":13275,"stargazers_count":40,"open_issues_count":1,"forks_count":9,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-09-03T05:17:47.426Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"SMT","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awslabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-19T02:24:50.000Z","updated_at":"2025-06-28T01:02:12.000Z","dependencies_parsed_at":"2024-01-13T01:42:50.569Z","dependency_job_id":"ef700f84-7d81-4ae0-8d0d-13f7ab45d26c","html_url":"https://github.com/awslabs/rust-smt-ir","commit_stats":{"total_commits":66,"total_committers":10,"mean_commits":6.6,"dds":0.5,"last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/awslabs/rust-smt-ir","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274265045,"owners_count":25252490,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-09T02:00:10.223Z","response_time":80,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"awslabs","name":"Amazon Web Services - Labs","uuid":"3299148","kind":"organization","description":"AWS Labs","email":null,"website":"http://amazon.com/aws/","location":"Seattle, WA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3299148?v=4","repositories_count":914,"last_synced_at":"2025-05-20T11:06:29.184Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/awslabs","funding_links":[],"total_stars":176592,"followers":8487,"following":0,"created_at":"2022-11-02T16:28:29.342Z","updated_at":"2025-05-20T11:06:29.184Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs/repositories"},"tags":[{"name":"v0.2.0","sha":"9e1536eb61a7686de37876d86fd50afcc294eea2","kind":"commit","published_at":"2022-11-11T22:38:28.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.2.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0/manifests"},{"name":"v0.1.1","sha":"4f68564f181441d35326ceba262ae876e7f6d5dc","kind":"commit","published_at":"2022-09-10T04:42:47.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.1","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"efe2bb096cb5da1018c634bf9a0542084651c9a5","kind":"commit","published_at":"2022-06-08T04:12:18.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-09-09T08:24:34.896Z","dependent_packages_count":1,"downloads":1321,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":85.10484454085322,"dependent_repos_count":16.496544113809378,"dependent_packages_count":18.15517691361247,"stargazers_count":20.117937363481165,"forks_count":17.752758723531166,"docker_downloads_count":null,"average":31.525452331057476},"purl":"pkg:cargo/amzn-smt-ir-derive","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/cargo/amzn-smt-ir-derive","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/cargo/amzn-smt-ir-derive","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/cargo/amzn-smt-ir-derive/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-04T14:10:56.701Z","issues_count":3,"pull_requests_count":13,"avg_time_to_close_issue":2288315.0,"avg_time_to_close_pull_request":94828.30769230769,"issues_closed_count":2,"pull_requests_closed_count":13,"pull_request_authors_count":8,"issue_authors_count":2,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.9230769230769231,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/issues","maintainers":[{"login":"BrunoDutertre","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/BrunoDutertre"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir-derive/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir-derive/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir-derive/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir-derive/related_packages","maintainers":[{"uuid":"176198","login":"BrunoDutertre","name":"Bruno Dutertre","email":null,"url":"https://github.com/BrunoDutertre","packages_count":6,"html_url":"https://crates.io/users/BrunoDutertre","role":null,"created_at":"2022-11-08T06:41:49.311Z","updated_at":"2022-11-08T06:41:49.311Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/BrunoDutertre/packages"},{"uuid":"176318","login":"mww-aws","name":null,"email":null,"url":"https://github.com/mww-aws","packages_count":6,"html_url":"https://crates.io/users/mww-aws","role":null,"created_at":"2022-11-08T06:41:50.871Z","updated_at":"2022-11-08T06:41:50.871Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/mww-aws/packages"}],"registry":{"name":"crates.io","url":"https://crates.io","ecosystem":"cargo","default":true,"packages_count":204951,"maintainers_count":50632,"namespaces_count":0,"keywords_count":51828,"github":"rust-lang","metadata":{"funded_packages_count":19950},"icon_url":"https://github.com/rust-lang.png","created_at":"2022-04-04T15:19:22.689Z","updated_at":"2025-09-09T06:34:17.806Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/namespaces"}},{"id":5243104,"name":"amzn-smt-ir","ecosystem":"cargo","description":"Intermediate representation for SMT problems","homepage":null,"licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/awslabs/rust-smt-ir","keywords_array":["smt-lib","smt","solver"],"namespace":null,"versions_count":1,"first_release_published_at":"2022-09-12T23:19:44.773Z","latest_release_published_at":"2025-09-04T09:36:25.638Z","latest_release_number":null,"last_synced_at":"2025-09-04T09:36:25.637Z","created_at":"2022-09-12T23:37:56.785Z","updated_at":"2025-09-04T23:37:08.827Z","registry_url":"https://crates.io/crates/amzn-smt-ir/","install_command":"cargo install amzn-smt-ir","documentation_url":"https://docs.rs/amzn-smt-ir/","metadata":{"categories":["science"]},"repo_metadata":{"id":43225318,"uuid":"397791397","full_name":"awslabs/rust-smt-ir","owner":"awslabs","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-28T01:02:08.000Z","size":13275,"stargazers_count":40,"open_issues_count":1,"forks_count":9,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-09-03T05:17:47.426Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"SMT","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awslabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-19T02:24:50.000Z","updated_at":"2025-06-28T01:02:12.000Z","dependencies_parsed_at":"2024-01-13T01:42:50.569Z","dependency_job_id":"ef700f84-7d81-4ae0-8d0d-13f7ab45d26c","html_url":"https://github.com/awslabs/rust-smt-ir","commit_stats":{"total_commits":66,"total_committers":10,"mean_commits":6.6,"dds":0.5,"last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/awslabs/rust-smt-ir","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273689661,"owners_count":25150611,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"awslabs","name":"Amazon Web Services - Labs","uuid":"3299148","kind":"organization","description":"AWS Labs","email":null,"website":"http://amazon.com/aws/","location":"Seattle, WA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3299148?v=4","repositories_count":914,"last_synced_at":"2025-05-20T11:06:29.184Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/awslabs","funding_links":[],"total_stars":176592,"followers":8487,"following":0,"created_at":"2022-11-02T16:28:29.342Z","updated_at":"2025-05-20T11:06:29.184Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awslabs/repositories"},"tags":[{"name":"v0.2.0","sha":"9e1536eb61a7686de37876d86fd50afcc294eea2","kind":"commit","published_at":"2022-11-11T22:38:28.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.2.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.2.0/manifests"},{"name":"v0.1.1","sha":"4f68564f181441d35326ceba262ae876e7f6d5dc","kind":"commit","published_at":"2022-09-10T04:42:47.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.1","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"efe2bb096cb5da1018c634bf9a0542084651c9a5","kind":"commit","published_at":"2022-06-08T04:12:18.000Z","download_url":"https://codeload.github.com/awslabs/rust-smt-ir/tar.gz/v0.1.0","html_url":"https://github.com/awslabs/rust-smt-ir/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/awslabs/rust-smt-ir@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-09-04T23:37:08.827Z","dependent_packages_count":0,"downloads":1263,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":89.6401308615049,"dependent_repos_count":29.318292202377133,"dependent_packages_count":33.81230354737315,"stargazers_count":19.516508893633787,"forks_count":18.799886366760447,"average":38.21742437432988},"purl":"pkg:cargo/amzn-smt-ir","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/cargo/amzn-smt-ir","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/cargo/amzn-smt-ir","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/cargo/amzn-smt-ir/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-04T14:10:56.701Z","issues_count":3,"pull_requests_count":13,"avg_time_to_close_issue":2288315.0,"avg_time_to_close_pull_request":94828.30769230769,"issues_closed_count":2,"pull_requests_closed_count":13,"pull_request_authors_count":8,"issue_authors_count":2,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.9230769230769231,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/issues","maintainers":[{"login":"BrunoDutertre","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/BrunoDutertre"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/amzn-smt-ir/related_packages","maintainers":[{"uuid":"176198","login":"BrunoDutertre","name":"Bruno Dutertre","email":null,"url":"https://github.com/BrunoDutertre","packages_count":6,"html_url":"https://crates.io/users/BrunoDutertre","role":null,"created_at":"2022-11-08T06:41:55.083Z","updated_at":"2022-11-08T06:41:55.083Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/BrunoDutertre/packages"},{"uuid":"176318","login":"mww-aws","name":null,"email":null,"url":"https://github.com/mww-aws","packages_count":6,"html_url":"https://crates.io/users/mww-aws","role":null,"created_at":"2022-11-08T06:41:55.910Z","updated_at":"2022-11-08T06:41:55.910Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/mww-aws/packages"}],"registry":{"name":"crates.io","url":"https://crates.io","ecosystem":"cargo","default":true,"packages_count":204951,"maintainers_count":50632,"namespaces_count":0,"keywords_count":51828,"github":"rust-lang","metadata":{"funded_packages_count":19950},"icon_url":"https://github.com/rust-lang.png","created_at":"2022-04-04T15:19:22.689Z","updated_at":"2025-09-09T06:34:17.806Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/namespaces"}}],"commits":{"id":1247869,"full_name":"awslabs/rust-smt-ir","default_branch":"main","committers":[{"name":"Bruno Dutertre","email":"dutebrun@amazon.com","count":33},{"name":"Mike Whalen","email":"mww@amazon.com","count":14},{"name":"mww-aws","email":"55661280+mww-aws@users.noreply.github.com","count":6},{"name":"Max Heller","email":"max_heller@brown.edu","count":3},{"name":"Michael Giancola","email":"mike.j.giancola@gmail.com","count":3},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]@users.noreply.github.com","count":3},{"name":"Amazon GitHub Automation","email":"54958958+amazon-auto@users.noreply.github.com","count":1},{"name":"Bruno Dutertre","email":"BrunoDutertre@users.noreply.github.com","count":1},{"name":"Ellen Arteca","email":"ellen.arteca@gmail.com","count":1},{"name":"Leo Alt","email":"leo@ethereum.org","count":1}],"total_commits":66,"total_committers":10,"total_bot_commits":3,"total_bot_committers":1,"mean_commits":6.6,"dds":0.5,"past_year_committers":[{"name":"Bruno Dutertre","email":"dutebrun@amazon.com","count":14},{"name":"Mike Whalen","email":"mww@amazon.com","count":6},{"name":"mww-aws","email":"55661280+mww-aws@users.noreply.github.com","count":1}],"past_year_total_commits":21,"past_year_total_committers":3,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":7.0,"past_year_dds":0.33333333333333337,"last_synced_at":"2023-04-25T17:12:30.882Z","last_synced_commit":"e9d12496290ae0e2851d344bd7cfe1039d79c4af","created_at":"2023-03-10T16:35:34.833Z","updated_at":"2023-09-19T19:36:27.147Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-23T00:00:23.482Z","repositories_count":5479765,"commits_count":853308191,"contributors_count":31095157,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"awslabs/rust-smt-ir","html_url":"https://github.com/awslabs/rust-smt-ir","last_synced_at":"2025-08-04T14:10:56.701Z","status":"error","issues_count":3,"pull_requests_count":13,"avg_time_to_close_issue":2288315.0,"avg_time_to_close_pull_request":94828.30769230769,"issues_closed_count":2,"pull_requests_closed_count":13,"pull_request_authors_count":8,"issue_authors_count":2,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.9230769230769231,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-12T05:34:59.518Z","updated_at":"2025-09-01T14:24:02.364Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/awslabs%2Frust-smt-ir/issues","issue_labels_count":{},"pull_request_labels_count":{"dependencies":3},"issue_author_associations_count":{"CONTRIBUTOR":3},"pull_request_author_associations_count":{"CONTRIBUTOR":11,"NONE":2,"COLLABORATOR":1},"issue_authors":{"leonardoalt":2,"mww-aws":1},"pull_request_authors":{"max-heller":3,"dependabot[bot]":3,"abizjak":2,"mjgiancola":2,"BrunoDutertre":1,"evanlohn":1,"leonardoalt":1,"emarteca":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10072190,"issues_count":31273742,"pull_requests_count":95552220,"authors_count":10689719,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[{"login":"BrunoDutertre","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/BrunoDutertre"}],"active_maintainers":[]},"events":{"total":{"WatchEvent":5,"MemberEvent":2,"PushEvent":1,"ForkEvent":1},"last_year":{"WatchEvent":5,"MemberEvent":2,"PushEvent":1,"ForkEvent":1}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/rust.yml","sha":null,"kind":"manifest","created_at":"2023-01-21T12:32:28.883Z","updated_at":"2023-01-21T12:32:28.883Z","repository_link":"https://github.com/awslabs/rust-smt-ir/blob/main/.github/workflows/rust.yml","dependencies":[{"id":7078279826,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7078279827,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"clippy","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-01-13T01:42:42.274Z","updated_at":"2024-01-13T01:42:42.274Z","repository_link":"https://github.com/awslabs/rust-smt-ir/blob/main/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"aws-smt-ir/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-01-13T01:42:42.437Z","updated_at":"2024-01-13T01:42:42.437Z","repository_link":"https://github.com/awslabs/rust-smt-ir/blob/main/aws-smt-ir/Cargo.toml","dependencies":[{"id":15579509319,"package_name":"aws-smt-ir-derive","ecosystem":"cargo","requirements":"0.1.2","direct":true,"kind":"runtime","optional":false},{"id":15579509367,"package_name":"either","ecosystem":"cargo","requirements":"1.6","direct":true,"kind":"runtime","optional":false},{"id":15579509368,"package_name":"internment","ecosystem":"cargo","requirements":"0.7.0","direct":true,"kind":"runtime","optional":false},{"id":15579509620,"package_name":"itertools","ecosystem":"cargo","requirements":"0.11","direct":true,"kind":"runtime","optional":false},{"id":15579509621,"package_name":"num-traits","ecosystem":"cargo","requirements":"0.2","direct":true,"kind":"runtime","optional":false},{"id":15579509622,"package_name":"once_cell","ecosystem":"cargo","requirements":"1.8","direct":true,"kind":"runtime","optional":false},{"id":15579509623,"package_name":"smallvec","ecosystem":"cargo","requirements":"1.6","direct":true,"kind":"runtime","optional":false},{"id":15579509624,"package_name":"stacker","ecosystem":"cargo","requirements":"0.1","direct":true,"kind":"runtime","optional":false},{"id":15579509720,"package_name":"thiserror","ecosystem":"cargo","requirements":"1.0","direct":true,"kind":"runtime","optional":false},{"id":15579509721,"package_name":"varisat","ecosystem":"cargo","requirements":"0.2","direct":true,"kind":"runtime","optional":false},{"id":15579510184,"package_name":"num","ecosystem":"cargo","requirements":"0.4","direct":true,"kind":"runtime","optional":false},{"id":15579510185,"package_name":"pomelo","ecosystem":"cargo","requirements":"0.1.5","direct":true,"kind":"runtime","optional":false},{"id":15579510220,"package_name":"fst","ecosystem":"cargo","requirements":"0.4.5","direct":true,"kind":"runtime","optional":false},{"id":15579510322,"package_name":"serde","ecosystem":"cargo","requirements":"1.0.125","direct":true,"kind":"runtime","optional":false},{"id":15579510323,"package_name":"permutation_iterator","ecosystem":"cargo","requirements":"0.1.2","direct":true,"kind":"runtime","optional":false},{"id":15579510394,"package_name":"strum","ecosystem":"cargo","requirements":"0.25","direct":true,"kind":"runtime","optional":false},{"id":15579510395,"package_name":"criterion","ecosystem":"cargo","requirements":"0.5","direct":true,"kind":"development","optional":false},{"id":15579510396,"package_name":"paste","ecosystem":"cargo","requirements":"1.0","direct":true,"kind":"development","optional":false},{"id":15579510397,"package_name":"static_assertions","ecosystem":"cargo","requirements":"1.1","direct":true,"kind":"development","optional":false},{"id":15579510398,"package_name":"varisat","ecosystem":"cargo","requirements":"0.2","direct":true,"kind":"development","optional":false}]},{"ecosystem":"cargo","filepath":"aws-smt-ir-derive/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-01-13T01:42:48.853Z","updated_at":"2024-01-13T01:42:48.853Z","repository_link":"https://github.com/awslabs/rust-smt-ir/blob/main/aws-smt-ir-derive/Cargo.toml","dependencies":[]}],"score":15.470070964500254,"created_at":"2025-09-08T23:43:18.860Z","updated_at":"2025-10-07T08:34:55.147Z","avatar_url":"https://github.com/awslabs.png","language":"SMT","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["diagram","labels","interaction"],"project_url":"https://science.ecosyste.ms/api/v1/projects/132347","html_url":"https://science.ecosyste.ms/projects/132347"}