{"id":5594,"name":"sat4j","description":"Mirror of https://gitlab.ow2.org/sat4j/sat4j","url":"https://github.com/visualon/sat4j","last_synced_at":"2025-09-04T18:45:26.157Z","repository":{"id":148123268,"uuid":"168000022","full_name":"visualon/sat4j","owner":"visualon","description":"Mirror of https://gitlab.ow2.org/sat4j/sat4j","archived":false,"fork":false,"pushed_at":"2024-11-12T10:16:12.000Z","size":23940,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-07-24T15:13:05.728Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/visualon.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":"codemeta.json","zenodo":null}},"created_at":"2019-01-28T17:00:32.000Z","updated_at":"2024-11-12T10:17:04.000Z","dependencies_parsed_at":"2025-01-04T06:34:22.522Z","dependency_job_id":null,"html_url":"https://github.com/visualon/sat4j","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/visualon/sat4j","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/visualon","download_url":"https://codeload.github.com/visualon/sat4j/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273656507,"owners_count":25145001,"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":"visualon","name":"VisualOn GmbH","uuid":"1837453","kind":"organization","description":"","email":null,"website":"https://visualon.de","location":"Magdeburg, Germany","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/1837453?v=4","repositories_count":46,"last_synced_at":"2024-03-26T16:50:17.576Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/visualon","funding_links":[],"total_stars":63,"followers":7,"following":0,"created_at":"2022-11-04T02:39:21.835Z","updated_at":"2024-03-26T16:50:34.732Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/visualon","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/visualon/repositories"},"packages":[],"commits":{"id":4748273,"full_name":"visualon/sat4j","default_branch":"main","committers":[{"name":"leberre","email":"leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":1842},{"name":"Daniel Le Berre","email":"daniel.leberre@univ-artois.fr","login":"danielleberre","count":448},{"name":"sroussel","email":"sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":242},{"name":"lonca","email":"lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":198},{"name":"parrain","email":"parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":82},{"name":"Daniel Le Berre","email":"leberre@cril.univ-artois.fr","login":null,"count":44},{"name":"Romain WALLON","email":"wallon@cril.fr","login":null,"count":29},{"name":"Lonca Emmanuel","email":"emmanuel.lonca@univ-artois.fr","login":null,"count":27},{"name":"Romain Wallon","email":"romain.wallon@univ-artois.fr","login":"romainwallon","count":19},{"name":"daniel","email":"daniel\"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":19},{"name":"Blomme Anthony","email":"anthony_blomme@ens.univ-artois.fr","login":null,"count":15},{"name":"Romain Wallon","email":"romain_wallon@ens.univ-artois.fr","login":null,"count":14},{"name":"Anne Parrain","email":"parrain@cril.fr","login":null,"count":14},{"name":"Anne Parrain","email":"anne.parrain@free.fr","login":"anne-parrain","count":10},{"name":"tfalque.ext","email":"thibault.falque@exakis-nelite.com","login":null,"count":9},{"name":"anterak13","email":"anterak13@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":5},{"name":"gbasler","email":"gbasler@ba638df5-4473-46d1-82f8-c3ae2a17a6e1","login":null,"count":4},{"name":"Jan Elffers","email":"elffers@kth.se","login":null,"count":3},{"name":"emmanuel lonca","email":"lonca@cril.fr","login":"elonca","count":3},{"name":"Anthony Blomme","email":"blomme@cril.fr","login":null,"count":2},{"name":"Vaclav Haisman","email":"vhaisman@gmail.com","login":"wilx","count":2},{"name":"Antoine Mottier","email":"antoine.mottier@ow2.org","login":"amottier","count":2},{"name":"Romain WALLON","email":"romain.wallon@polytechnique.edu","login":null,"count":1}],"total_commits":3034,"total_committers":23,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":131.91304347826087,"dds":0.39288068556361244,"past_year_committers":[{"name":"Daniel Le Berre","email":"daniel.leberre@univ-artois.fr","login":"danielleberre","count":7}],"past_year_total_commits":7,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":7.0,"past_year_dds":0.0,"last_synced_at":"2025-07-24T12:41:46.079Z","last_synced_commit":"403f76bf501450df65e2c1585d5e2df20bddfb60","created_at":"2024-11-09T11:28:56.923Z","updated_at":"2025-07-24T12:42:14.078Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"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":"visualon/sat4j","html_url":"https://github.com/visualon/sat4j","last_synced_at":"2025-07-24T12:58:39.170Z","status":"error","issues_count":0,"pull_requests_count":0,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":null,"issues_closed_count":0,"pull_requests_closed_count":0,"pull_request_authors_count":0,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":null,"merged_pull_requests_count":0,"bot_issues_count":0,"bot_pull_requests_count":0,"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":"2024-11-09T11:28:57.755Z","updated_at":"2025-07-24T12:58:39.170Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/visualon%2Fsat4j/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{},"issue_authors":{},"pull_request_authors":{},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10081478,"issues_count":31331220,"pull_requests_count":96240505,"authors_count":10693617,"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":[],"active_maintainers":[]},"events":{"total":{"PushEvent":1},"last_year":{"PushEvent":1}},"keywords":[],"dependencies":[{"ecosystem":"maven","filepath":"org.sat4j.br4cp/pom.xml","sha":null,"kind":"manifest","created_at":"2023-05-19T05:00:20.584Z","updated_at":"2023-05-19T05:00:20.584Z","repository_link":"https://github.com/visualon/sat4j/blob/main/org.sat4j.br4cp/pom.xml","dependencies":[{"id":9787310900,"package_name":"org.ow2.sat4j:org.ow2.sat4j.core","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"runtime","optional":false},{"id":9787310901,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.4","direct":true,"kind":"test","optional":false}]},{"ecosystem":"maven","filepath":"org.sat4j.maxsat/pom.xml","sha":null,"kind":"manifest","created_at":"2023-05-19T05:00:20.712Z","updated_at":"2023-05-19T05:00:20.712Z","repository_link":"https://github.com/visualon/sat4j/blob/main/org.sat4j.maxsat/pom.xml","dependencies":[{"id":9787313014,"package_name":"org.ow2.sat4j:org.ow2.sat4j.core","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"compile","optional":false},{"id":9787313015,"package_name":"org.ow2.sat4j:org.ow2.sat4j.pb","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"compile","optional":false},{"id":9787313016,"package_name":"commons-cli:commons-cli","ecosystem":"maven","requirements":"1.2","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"maven","filepath":"org.sat4j.pb/pom.xml","sha":null,"kind":"manifest","created_at":"2023-05-19T05:00:20.850Z","updated_at":"2023-05-19T05:00:20.850Z","repository_link":"https://github.com/visualon/sat4j/blob/main/org.sat4j.pb/pom.xml","dependencies":[{"id":9787313412,"package_name":"org.ow2.sat4j:org.ow2.sat4j.core","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"runtime","optional":false},{"id":9787313413,"package_name":"org.ow2.sat4j:org.ow2.sat4j.core","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"test","optional":false},{"id":9787313414,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.4","direct":true,"kind":"test","optional":false}]},{"ecosystem":"maven","filepath":"org.sat4j.sat/pom.xml","sha":null,"kind":"manifest","created_at":"2023-05-19T05:00:20.933Z","updated_at":"2023-05-19T05:00:20.933Z","repository_link":"https://github.com/visualon/sat4j/blob/main/org.sat4j.sat/pom.xml","dependencies":[{"id":9787313547,"package_name":"org.ow2.sat4j:org.ow2.sat4j.core","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"compile","optional":false},{"id":9787313548,"package_name":"org.ow2.sat4j:org.ow2.sat4j.pb","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"compile","optional":false},{"id":9787313549,"package_name":"org.ow2.sat4j:org.ow2.sat4j.maxsat","ecosystem":"maven","requirements":"${project.version}","direct":true,"kind":"compile","optional":false},{"id":9787313550,"package_name":"commons-beanutils:commons-beanutils","ecosystem":"maven","requirements":"1.8.3","direct":true,"kind":"runtime","optional":false},{"id":9787313551,"package_name":"commons-cli:commons-cli","ecosystem":"maven","requirements":"1.2","direct":true,"kind":"runtime","optional":false},{"id":9787313552,"package_name":"net.sf.jchart2d:jchart2d","ecosystem":"maven","requirements":"3.3.2","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"maven","filepath":"pom.xml","sha":null,"kind":"manifest","created_at":"2023-05-19T05:00:20.983Z","updated_at":"2023-05-19T05:00:20.983Z","repository_link":"https://github.com/visualon/sat4j/blob/main/pom.xml","dependencies":[{"id":9787313692,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.12","direct":true,"kind":"test","optional":false},{"id":9787313693,"package_name":"org.mockito:mockito-all","ecosystem":"maven","requirements":"1.9.5","direct":true,"kind":"test","optional":false}]},{"ecosystem":"maven","filepath":"org.sat4j.core/pom.xml","sha":null,"kind":"manifest","created_at":"2025-01-04T06:34:22.414Z","updated_at":"2025-01-04T06:34:22.414Z","repository_link":"https://github.com/visualon/sat4j/blob/main/org.sat4j.core/pom.xml","dependencies":[]}],"score":null,"created_at":"2025-09-04T15:50:16.539Z","updated_at":"2025-11-04T15:50:43.516Z","avatar_url":"https://github.com/visualon.png","language":"Java","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/5594","html_url":"https://science.ecosyste.ms/projects/5594"}