{"id":356552,"url":"https://github.com/elsoroka/Satisfiability.jl","last_synced_at":"2026-08-20T05:30:23.894Z","repository":{"id":155615436,"uuid":"628745606","full_name":"elsoroka/Satisfiability.jl","owner":"elsoroka","description":"Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.","archived":false,"fork":false,"pushed_at":"2026-06-22T03:03:46.000Z","size":3160,"stargazers_count":55,"open_issues_count":17,"forks_count":11,"subscribers_count":6,"default_branch":"main","last_synced_at":"2026-07-30T14:58:44.657Z","etag":null,"topics":["satisfiability-modulo-theories","smt-lib"],"latest_commit_sha":null,"homepage":"https://elsoroka.github.io/Satisfiability.jl/","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/elsoroka.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-04-16T21:58:55.000Z","updated_at":"2026-07-07T19:51:53.000Z","dependencies_parsed_at":"2023-11-29T06:26:43.538Z","dependency_job_id":"0eb43d09-7048-411d-874d-f58d3de91544","html_url":"https://github.com/elsoroka/Satisfiability.jl","commit_stats":null,"previous_names":["elsoroka/satisfiability.jl"],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/elsoroka/Satisfiability.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka","download_url":"https://codeload.github.com/elsoroka/Satisfiability.jl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36081757,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-07-30T02:00:05.956Z","response_time":106,"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":"elsoroka","name":"Emiko Soroka","uuid":"14230800","kind":"user","description":"","email":"","website":null,"location":"Palo Alto, CA. USA","twitter":null,"company":"Stanford University","icon_url":"https://avatars.githubusercontent.com/u/14230800?u=2b5c1cb20a2b7535cccaf1023886d55b4dac343d\u0026v=4","repositories_count":3,"last_synced_at":"2023-03-03T15:17:02.373Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/elsoroka","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-14T01:39:16.544Z","updated_at":"2023-03-03T15:17:02.377Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka/repositories"},"packages":[{"id":8165790,"name":"Satisfiability","ecosystem":"julia","description":"Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.","homepage":"https://elsoroka.github.io/Satisfiability.jl/","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/elsoroka/Satisfiability.jl","keywords_array":["satisfiability-modulo-theories","smt-lib"],"namespace":null,"versions_count":3,"first_release_published_at":"2023-08-30T22:33:46.590Z","latest_release_published_at":"2024-11-01T00:00:00.000Z","latest_release_number":"0.2.0","last_synced_at":"2026-08-07T20:06:09.653Z","created_at":"2023-08-30T22:33:45.386Z","updated_at":"2026-08-07T20:06:09.654Z","registry_url":"https://juliahub.com/ui/Packages/General/Satisfiability/","install_command":"Pkg.add(\"Satisfiability\")","documentation_url":"https://docs.juliahub.com/General/Satisfiability/stable/","metadata":{"uuid":"160ab843-0bc6-4ba4-9585-b7478b70f443"},"repo_metadata":{"id":155615436,"uuid":"628745606","full_name":"elsoroka/Satisfiability.jl","owner":"elsoroka","description":"Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.","archived":false,"fork":false,"pushed_at":"2026-06-22T03:03:46.000Z","size":3160,"stargazers_count":55,"open_issues_count":17,"forks_count":11,"subscribers_count":6,"default_branch":"main","last_synced_at":"2026-07-30T14:58:44.657Z","etag":null,"topics":["satisfiability-modulo-theories","smt-lib"],"latest_commit_sha":null,"homepage":"https://elsoroka.github.io/Satisfiability.jl/","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/elsoroka.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-04-16T21:58:55.000Z","updated_at":"2026-07-07T19:51:53.000Z","dependencies_parsed_at":"2023-11-29T06:26:43.538Z","dependency_job_id":"0eb43d09-7048-411d-874d-f58d3de91544","html_url":"https://github.com/elsoroka/Satisfiability.jl","commit_stats":null,"previous_names":["elsoroka/satisfiability.jl"],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/elsoroka/Satisfiability.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka","download_url":"https://codeload.github.com/elsoroka/Satisfiability.jl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36081757,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-07-30T02:00:05.956Z","response_time":106,"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":"elsoroka","name":"Emiko Soroka","uuid":"14230800","kind":"user","description":"","email":"","website":null,"location":"Palo Alto, CA. USA","twitter":null,"company":"Stanford University","icon_url":"https://avatars.githubusercontent.com/u/14230800?u=2b5c1cb20a2b7535cccaf1023886d55b4dac343d\u0026v=4","repositories_count":3,"last_synced_at":"2023-03-03T15:17:02.373Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/elsoroka","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-14T01:39:16.544Z","updated_at":"2023-03-03T15:17:02.377Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/elsoroka/repositories"},"tags":[{"name":"v0.2.0","sha":"07ddaee44f0d0ab641a660ee70069dd91963191c","kind":"commit","published_at":"2024-08-17T04:52:21.000Z","download_url":"https://codeload.github.com/elsoroka/Satisfiability.jl/tar.gz/v0.2.0","html_url":"https://github.com/elsoroka/Satisfiability.jl/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/elsoroka/Satisfiability.jl@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/v0.2.0/manifests"},{"name":"v0.1.2","sha":"dd89b1b8cd6b1d2f51cc3d67e96c12e14422ec06","kind":"commit","published_at":"2024-05-23T18:15:16.000Z","download_url":"https://codeload.github.com/elsoroka/Satisfiability.jl/tar.gz/v0.1.2","html_url":"https://github.com/elsoroka/Satisfiability.jl/releases/tag/v0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/elsoroka/Satisfiability.jl@v0.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/v0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/v0.1.2/manifests"},{"name":"Releases","sha":"0322f6fc5beaf9004b40f7b9b48b8ce191d6dd1b","kind":"commit","published_at":"2023-12-15T22:45:59.000Z","download_url":"https://codeload.github.com/elsoroka/Satisfiability.jl/tar.gz/Releases","html_url":"https://github.com/elsoroka/Satisfiability.jl/releases/tag/Releases","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/elsoroka/Satisfiability.jl@Releases","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/Releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/tags/Releases/manifests"}]},"repo_metadata_updated_at":"2026-08-07T15:09:21.057Z","dependent_packages_count":0,"downloads":25,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":10.182077103041399,"dependent_packages_count":37.609359104781284,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":23.895718103911342},"purl":"pkg:julia/Satisfiability","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/julia/Satisfiability","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/julia/Satisfiability","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/julia/Satisfiability/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-06-26T01:01:28.496Z","issues_count":32,"pull_requests_count":105,"avg_time_to_close_issue":1850017.4117647058,"avg_time_to_close_pull_request":465269.78125,"issues_closed_count":17,"pull_requests_closed_count":96,"pull_request_authors_count":10,"issue_authors_count":14,"avg_comments_per_issue":2.5,"avg_comments_per_pull_request":0.9619047619047619,"merged_pull_requests_count":93,"bot_issues_count":0,"bot_pull_requests_count":18,"past_year_issues_count":1,"past_year_pull_requests_count":8,"past_year_avg_time_to_close_issue":558316.0,"past_year_avg_time_to_close_pull_request":3607635.1666666665,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":6,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":3.0,"past_year_avg_comments_per_pull_request":0.25,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":8,"past_year_merged_pull_requests_count":4,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/issues","maintainers":[{"login":"elsoroka","count":50,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/elsoroka"},{"login":"mykelk","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mykelk"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Satisfiability/codemeta","maintainers":[],"registry":{"name":"juliahub.com","url":"https://juliahub.com","ecosystem":"julia","default":true,"packages_count":13730,"maintainers_count":0,"namespaces_count":0,"keywords_count":7792,"github":"JuliaRegistries","metadata":{"funded_packages_count":866},"icon_url":"https://github.com/JuliaRegistries.png","created_at":"2022-04-19T16:34:08.340Z","updated_at":"2026-08-05T05:05:24.622Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/namespaces"}}],"commits":{"id":9624782,"full_name":"elsoroka/Satisfiability.jl","default_branch":"main","total_commits":329,"total_committers":10,"total_bot_commits":12,"total_bot_committers":1,"mean_commits":32.9,"dds":0.13373860182370823,"past_year_total_commits":18,"past_year_total_committers":3,"past_year_total_bot_commits":6,"past_year_total_bot_committers":1,"past_year_mean_commits":6.0,"past_year_dds":0.38888888888888884,"last_synced_at":"2026-08-19T05:01:08.059Z","last_synced_commit":"758b410f23fbbfb619cc16dde6c478835bc7777c","created_at":"2025-04-11T10:45:37.764Z","updated_at":"2026-08-19T05:01:07.324Z","committers":[{"name":"Emiko Soroka","email":"emiko@me.com","login":"elsoroka","count":285},{"name":"Fe-r-oz","email":"feroz.ahmad.email@gmail.com","login":"Fe-r-oz","count":13},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":12},{"name":"Martin Kunz","email":"martinkunz@email.cz","login":"kunzaatko","count":7},{"name":"Mykel Kochenderfer","email":"mykel@stanford.edu","login":"mykelk","count":4},{"name":"ℝafael Bailo","email":"Dr.Rafael.Bailo@gmail.com","login":"rafaelbailo","count":3},{"name":"jchanke","email":"josephc2@andrew.cmu.edu","login":"jchanke","count":2},{"name":"Thomas Schmelzer","email":"thomas.schmelzer@gmail.com","login":"tschm","count":1},{"name":"Nikos Pitsianis","email":"pitsianis@yahoo.com","login":"pitsianis","count":1},{"name":"Daniel S. Katz","email":"d.katz@ieee.org","login":"danielskatz","count":1}],"past_year_committers":[{"name":"Emi Soroka","email":"emiko@me.com","login":"elsoroka","count":11},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":6},{"name":"Martin Kunz","email":"martinkunz@email.cz","login":"kunzaatko","count":1}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-08-20T00:00:10.776Z","repositories_count":6748081,"commits_count":977077767,"contributors_count":41208804,"owners_count":1358089,"committers_count":3351709,"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":{"table":{"full_name":"elsoroka/Satisfiability.jl","html_url":"https://github.com/elsoroka/Satisfiability.jl","last_synced_at":"2026-08-19T05:00:29.946Z","status":null,"issues_count":32,"pull_requests_count":105,"avg_time_to_close_issue":1850017.4117647058,"avg_time_to_close_pull_request":465269.78125,"issues_closed_count":17,"pull_requests_closed_count":96,"pull_request_authors_count":10,"issue_authors_count":14,"avg_comments_per_issue":2.5,"avg_comments_per_pull_request":0.9619047619047619,"merged_pull_requests_count":93,"bot_issues_count":0,"bot_pull_requests_count":18,"past_year_issues_count":1,"past_year_pull_requests_count":7,"past_year_avg_time_to_close_issue":558316.0,"past_year_avg_time_to_close_pull_request":4058678.4,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":5,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":3.0,"past_year_avg_comments_per_pull_request":0.2857142857142857,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":7,"past_year_merged_pull_requests_count":3,"created_at":"2025-04-11T10:45:39.010Z","updated_at":"2026-08-19T05:00:29.946Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/elsoroka%2FSatisfiability.jl/issues","issue_labels_count":{"table":{"enhancement":7,"bug":7,"help wanted":1,"documentation":1,"question":1}},"pull_request_labels_count":{"table":{"dependencies":18,"github_actions":8,"bug":2}},"issue_author_associations_count":{"table":{"OWNER":11,"NONE":11,"CONTRIBUTOR":5,"COLLABORATOR":5}},"pull_request_author_associations_count":{"table":{"CONTRIBUTOR":53,"OWNER":39,"NONE":8,"COLLABORATOR":5}},"issue_authors":{"table":{"elsoroka":11,"mykelk":5,"Fe-r-oz":3,"rafaelbailo":2,"JuliaTagBot":2,"EveWCheng":1,"zygi":1,"pitsianis":1,"remysucre":1,"JanGontscharow":1,"kunzaatko":1,"jchanke":1,"computablee":1,"vyudu":1}},"pull_request_authors":{"table":{"elsoroka":39,"Fe-r-oz":20,"dependabot[bot]":18,"kunzaatko":9,"mykelk":5,"rafaelbailo":4,"jchanke":4,"pitsianis":2,"tschm":2,"danielskatz":2}},"host":{"table":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-08-20T00:00:06.687Z","repositories_count":16144239,"issues_count":41489473,"pull_requests_count":132652821,"authors_count":11478873,"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":{"table":{"bug":1}},"past_year_pull_request_labels_count":{"table":{"dependencies":7,"github_actions":7}},"past_year_issue_author_associations_count":{"table":{"NONE":1}},"past_year_pull_request_author_associations_count":{"table":{"CONTRIBUTOR":7}},"past_year_issue_authors":{"table":{"JanGontscharow":1}},"past_year_pull_request_authors":{"table":{"dependabot[bot]":7}},"maintainers":[{"table":{"login":"elsoroka","count":50,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/elsoroka"}},{"table":{"login":"mykelk","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mykelk"}}],"active_maintainers":[]}},"events":{"total":{"CreateEvent":6,"DeleteEvent":5,"ForkEvent":5,"IssueCommentEvent":61,"IssuesEvent":11,"PullRequestEvent":47,"PullRequestReviewEvent":11,"PushEvent":24,"ReleaseEvent":1,"WatchEvent":18},"last_year":{"CreateEvent":4,"DeleteEvent":3,"ForkEvent":1,"IssueCommentEvent":6,"PullRequestEvent":16,"PullRequestReviewEvent":1,"PushEvent":9,"WatchEvent":5}},"keywords":["satisfiability-modulo-theories","smt-lib"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-08-19T16:29:53.928Z","updated_at":"2023-08-19T16:29:53.928Z","repository_link":"https://github.com/elsoroka/Satisfiability.jl/blob/main/.github/workflows/ci.yml","dependencies":[{"id":12816531894,"package_name":"actions/checkout","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false},{"id":12816531895,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12816531896,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12816531897,"package_name":"julia-actions/julia-runtest","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12816531898,"package_name":"julia-actions/julia-processcoverage","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12816531899,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docs.yml","sha":null,"kind":"manifest","created_at":"2023-08-19T16:29:54.029Z","updated_at":"2023-08-19T16:29:54.029Z","repository_link":"https://github.com/elsoroka/Satisfiability.jl/blob/main/.github/workflows/docs.yml","dependencies":[{"id":12816532251,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12816532252,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12816532253,"package_name":"julia-actions/julia-docdeploy","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/TagBot.yml","sha":null,"kind":"manifest","created_at":"2023-11-29T06:26:41.564Z","updated_at":"2023-11-29T06:26:41.564Z","repository_link":"https://github.com/elsoroka/Satisfiability.jl/blob/main/.github/workflows/TagBot.yml","dependencies":[{"id":14791805784,"package_name":"JuliaRegistries/TagBot","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"docker","filepath":"examples/paper_examples/Dockerfile","sha":null,"kind":"manifest","created_at":"2023-11-29T06:26:43.433Z","updated_at":"2023-11-29T06:26:43.433Z","repository_link":"https://github.com/elsoroka/Satisfiability.jl/blob/main/examples/paper_examples/Dockerfile","dependencies":[{"id":14791805904,"package_name":"julia","ecosystem":"docker","requirements":"1.9","direct":true,"kind":"build","optional":false}]}],"score":9.798127036878302,"created_at":"2025-04-11T10:17:23.027Z","updated_at":"2026-08-20T05:30:23.895Z","avatar_url":"https://github.com/elsoroka.png","language":"Julia","codemeta":null,"publiccode":null,"project_url":"https://summary.ecosyste.ms/api/v1/projects/356552","html_url":"https://summary.ecosyste.ms/projects/356552"}