{"id":534,"name":"Satisfiability.jl","description":"Satisfiability.jl: Satisfiability Modulo Theories in Julia - Published in JOSS (2024)","url":"https://github.com/elsoroka/satisfiability.jl","last_synced_at":"2025-09-04T16:05:31.918Z","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":"2025-09-02T21:48:34.000Z","size":3012,"stargazers_count":48,"open_issues_count":15,"forks_count":7,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-09-04T11:00:33.978Z","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}},"created_at":"2023-04-16T21:58:55.000Z","updated_at":"2025-09-02T21:41:41.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":273633540,"owners_count":25140778,"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":{"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":"2025-09-03T22:01:11.201Z","created_at":"2023-08-30T22:33:45.386Z","updated_at":"2025-09-03T22:01:11.201Z","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":"2025-08-18T05:09:03.000Z","size":1583,"stargazers_count":46,"open_issues_count":17,"forks_count":7,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-08-28T01:39:36.252Z","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}},"created_at":"2023-04-16T21:58:55.000Z","updated_at":"2025-08-10T13:05:19.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":273355628,"owners_count":25090824,"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-02T02:00:09.530Z","response_time":77,"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":"2025-09-03T03:49:42.811Z","dependent_packages_count":0,"downloads":3,"downloads_period":"total","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":"2025-09-03T01:08:17.364Z","issues_count":31,"pull_requests_count":89,"avg_time_to_close_issue":1229835.8,"avg_time_to_close_pull_request":262984.2738095238,"issues_closed_count":15,"pull_requests_closed_count":84,"pull_request_authors_count":10,"issue_authors_count":13,"avg_comments_per_issue":2.4516129032258065,"avg_comments_per_pull_request":0.9213483146067416,"merged_pull_requests_count":83,"bot_issues_count":0,"bot_pull_requests_count":11,"past_year_issues_count":7,"past_year_pull_requests_count":29,"past_year_avg_time_to_close_issue":59641.5,"past_year_avg_time_to_close_pull_request":609977.0,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":24,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":5,"past_year_avg_comments_per_issue":0.7142857142857143,"past_year_avg_comments_per_pull_request":1.5172413793103448,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":3,"past_year_merged_pull_requests_count":24,"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","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","maintainers":[],"registry":{"name":"juliahub.com","url":"https://juliahub.com","ecosystem":"julia","default":true,"packages_count":12675,"maintainers_count":0,"namespaces_count":0,"keywords_count":7424,"github":"JuliaRegistries","metadata":{"funded_packages_count":856},"icon_url":"https://github.com/JuliaRegistries.png","created_at":"2022-04-19T16:34:08.340Z","updated_at":"2025-09-04T07:04:50.164Z","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","committers":[{"name":"Emiko Soroka","email":"emiko@me.com","login":"elsoroka","count":274},{"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":5},{"name":"Martin Kunz","email":"martinkunz@email.cz","login":"kunzaatko","count":5},{"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}],"total_commits":309,"total_committers":10,"total_bot_commits":5,"total_bot_committers":1,"mean_commits":30.9,"dds":0.11326860841423947,"past_year_committers":[{"name":"Fe-r-oz","email":"feroz.ahmad.email@gmail.com","login":"Fe-r-oz","count":13},{"name":"Martin Kunz","email":"martinkunz@email.cz","login":"kunzaatko","count":5},{"name":"Emiko Soroka","email":"emiko@me.com","login":"elsoroka","count":4},{"name":"jchanke","email":"josephc2@andrew.cmu.edu","login":"jchanke","count":2},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","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_total_commits":27,"past_year_total_committers":7,"past_year_total_bot_commits":1,"past_year_total_bot_committers":1,"past_year_mean_commits":3.857142857142857,"past_year_dds":0.5185185185185186,"last_synced_at":"2025-08-07T07:32:46.756Z","last_synced_commit":"47234e838e37306bd10d0c3579feb60f48c86621","created_at":"2025-04-11T10:45:37.764Z","updated_at":"2025-08-07T07:32:46.784Z","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":"2025-08-29T00:00:19.078Z","repositories_count":5479765,"commits_count":853310153,"contributors_count":31095234,"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":"elsoroka/Satisfiability.jl","html_url":"https://github.com/elsoroka/Satisfiability.jl","last_synced_at":"2025-09-03T01:08:17.364Z","status":null,"issues_count":31,"pull_requests_count":89,"avg_time_to_close_issue":1229835.8,"avg_time_to_close_pull_request":262984.2738095238,"issues_closed_count":15,"pull_requests_closed_count":84,"pull_request_authors_count":10,"issue_authors_count":13,"avg_comments_per_issue":2.4516129032258065,"avg_comments_per_pull_request":0.9213483146067416,"merged_pull_requests_count":83,"bot_issues_count":0,"bot_pull_requests_count":11,"past_year_issues_count":7,"past_year_pull_requests_count":29,"past_year_avg_time_to_close_issue":59641.5,"past_year_avg_time_to_close_pull_request":609977.0,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":24,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":5,"past_year_avg_comments_per_issue":0.7142857142857143,"past_year_avg_comments_per_pull_request":1.5172413793103448,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":3,"past_year_merged_pull_requests_count":24,"created_at":"2025-04-11T10:45:39.010Z","updated_at":"2025-09-03T06:25:45.224Z","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":{"enhancement":7,"bug":5,"help wanted":1,"question":1,"documentation":1},"pull_request_labels_count":{"dependencies":11,"bug":2,"github_actions":1},"issue_author_associations_count":{"OWNER":11,"NONE":10,"CONTRIBUTOR":5,"COLLABORATOR":5},"pull_request_author_associations_count":{"CONTRIBUTOR":46,"OWNER":39,"NONE":8,"COLLABORATOR":5},"issue_authors":{"elsoroka":11,"mykelk":5,"Fe-r-oz":3,"rafaelbailo":2,"JuliaTagBot":2,"EveWCheng":1,"zygi":1,"pitsianis":1,"remysucre":1,"kunzaatko":1,"jchanke":1,"computablee":1,"vyudu":1},"pull_request_authors":{"elsoroka":39,"Fe-r-oz":20,"dependabot[bot]":11,"kunzaatko":9,"mykelk":5,"rafaelbailo":4,"jchanke":4,"pitsianis":2,"tschm":2,"danielskatz":2},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10070612,"issues_count":31251768,"pull_requests_count":95419892,"authors_count":10689189,"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":{"dependencies":3,"github_actions":1},"past_year_issue_author_associations_count":{"NONE":4,"CONTRIBUTOR":3},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":34,"NONE":4},"past_year_issue_authors":{"Fe-r-oz":3,"jchanke":1,"kunzaatko":1,"pitsianis":1,"vyudu":1},"past_year_pull_request_authors":{"Fe-r-oz":20,"kunzaatko":9,"jchanke":4,"dependabot[bot]":3,"pitsianis":2},"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":[]},"events":{"total":{"CreateEvent":2,"ReleaseEvent":1,"IssuesEvent":11,"WatchEvent":15,"DeleteEvent":2,"IssueCommentEvent":58,"PushEvent":16,"PullRequestReviewEvent":11,"PullRequestEvent":32,"ForkEvent":4},"last_year":{"CreateEvent":2,"ReleaseEvent":1,"IssuesEvent":11,"WatchEvent":15,"DeleteEvent":2,"IssueCommentEvent":58,"PushEvent":16,"PullRequestReviewEvent":11,"PullRequestEvent":32,"ForkEvent":4}},"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":7.5443321080536885,"created_at":"2025-09-04T09:17:36.001Z","updated_at":"2025-10-07T08:04:25.757Z","avatar_url":"https://github.com/elsoroka.png","language":"Julia","category":"Scientific Software","sub_category":"Peer-reviewed","monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://doi.org/10.21105/joss.06757"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["investing","pde","standardization","turing-machine","genetic-algorithm","energy-system","plasma","benchmarking","hydrology","distribution"],"project_url":"https://science.ecosyste.ms/api/v1/projects/534","html_url":"https://science.ecosyste.ms/projects/534","bibtex_url":"https://science.ecosyste.ms/projects/534/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/534/export.apalike"}