{"id":87755,"name":null,"description":"Computational logic in Julia!","url":"https://github.com/aclai-lab/solelogics.jl","last_synced_at":"2025-09-08T23:34:50.912Z","repository":{"id":44123902,"uuid":"476768610","full_name":"aclai-lab/SoleLogics.jl","owner":"aclai-lab","description":"Computational logic in Julia!","archived":false,"fork":false,"pushed_at":"2025-09-01T12:05:11.000Z","size":5393,"stargazers_count":17,"open_issues_count":5,"forks_count":7,"subscribers_count":5,"default_branch":"main","last_synced_at":"2025-09-01T14:20:01.139Z","etag":null,"topics":["logic","modal-logic","symbolic-learning"],"latest_commit_sha":null,"homepage":"https://aclai-lab.github.io/SoleLogics.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/aclai-lab.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":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-04-01T15:11:42.000Z","updated_at":"2025-09-01T12:02:01.000Z","dependencies_parsed_at":"2023-09-28T11:57:11.590Z","dependency_job_id":"cfd860ad-7b43-404f-a8b6-805067706fbe","html_url":"https://github.com/aclai-lab/SoleLogics.jl","commit_stats":null,"previous_names":[],"tags_count":58,"template":false,"template_full_name":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274231172,"owners_count":25245675,"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-08T02:00:09.813Z","response_time":121,"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":"aclai-lab","name":"Applied Computational Logic and Artificial Intelligence Laboratory","uuid":"85283724","kind":"organization","description":"Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara","email":"aclai@unife.it","website":"aclai.unife.it","location":"Italy","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/85283724?v=4","repositories_count":14,"last_synced_at":"2023-03-08T14:43:36.642Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/aclai-lab","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-18T06:00:53.352Z","updated_at":"2023-03-08T14:43:36.674Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab/repositories"},"packages":[{"id":6511562,"name":"SoleLogics","ecosystem":"julia","description":"Computational logic in Julia!","homepage":"https://aclai-lab.github.io/SoleLogics.jl/","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/aclai-lab/SoleLogics.jl","keywords_array":["logic","modal-logic","symbolic-learning"],"namespace":null,"versions_count":48,"first_release_published_at":"2023-03-12T11:33:40.520Z","latest_release_published_at":"2025-04-01T00:00:00.000Z","latest_release_number":"0.13.2","last_synced_at":"2025-08-17T07:03:33.462Z","created_at":"2023-03-12T11:33:39.324Z","updated_at":"2025-08-17T07:08:32.819Z","registry_url":"https://juliahub.com/ui/Packages/General/SoleLogics/","install_command":"Pkg.add(\"SoleLogics\")","documentation_url":"https://docs.juliahub.com/General/SoleLogics/stable/","metadata":{"uuid":"b002da8f-3cb3-4d91-bbe3-2953433912b5"},"repo_metadata":{"id":44123902,"uuid":"476768610","full_name":"aclai-lab/SoleLogics.jl","owner":"aclai-lab","description":"Computational logic in Julia!","archived":false,"fork":false,"pushed_at":"2025-08-14T19:39:47.000Z","size":5341,"stargazers_count":17,"open_issues_count":6,"forks_count":7,"subscribers_count":5,"default_branch":"main","last_synced_at":"2025-08-14T20:26:05.202Z","etag":null,"topics":["logic","modal-logic","symbolic-learning"],"latest_commit_sha":null,"homepage":"https://aclai-lab.github.io/SoleLogics.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/aclai-lab.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":null,"zenodo":null}},"created_at":"2022-04-01T15:11:42.000Z","updated_at":"2025-08-14T19:36:36.000Z","dependencies_parsed_at":"2023-09-28T11:57:11.590Z","dependency_job_id":"cfd860ad-7b43-404f-a8b6-805067706fbe","html_url":"https://github.com/aclai-lab/SoleLogics.jl","commit_stats":null,"previous_names":[],"tags_count":58,"template":false,"template_full_name":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":270817264,"owners_count":24650964,"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-08-17T02:00:09.016Z","response_time":129,"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":"aclai-lab","name":"Applied Computational Logic and Artificial Intelligence Laboratory","uuid":"85283724","kind":"organization","description":"Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara","email":"aclai@unife.it","website":"aclai.unife.it","location":"Italy","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/85283724?v=4","repositories_count":14,"last_synced_at":"2023-03-08T14:43:36.642Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/aclai-lab","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-18T06:00:53.352Z","updated_at":"2023-03-08T14:43:36.674Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aclai-lab/repositories"},"tags":[{"name":"v0.13.2","sha":"b414fe885b055d31277ea93ce6cb863f62134889","kind":"tag","published_at":"2025-04-30T09:51:03.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.13.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.13.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.13.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.2/manifests"},{"name":"v0.13.1","sha":"a80601cfffec7ad5f2fd5dd52d6ecc48ea52b8ad","kind":"tag","published_at":"2025-04-23T15:41:02.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.13.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.13.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.13.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.1/manifests"},{"name":"v0.13.0","sha":"68560e8d58426fce547b13b90ec7e3619b822267","kind":"tag","published_at":"2025-02-26T11:18:51.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.13.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.13.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.13.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.13.0/manifests"},{"name":"v0.12.0","sha":"58c2462548bcc5a2887442dbf59e285cc7ab819f","kind":"tag","published_at":"2025-01-08T12:48:23.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.12.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.12.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.12.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.12.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.12.0/manifests"},{"name":"v0.11.0","sha":"da72c39a7478b8a2796c0dad97bb4da69f692b46","kind":"tag","published_at":"2024-12-10T11:04:45.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.11.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.11.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.11.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.11.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.11.0/manifests"},{"name":"v0.10.4","sha":"f80d9ad309fc6ac180637c5791e295ee4dcd3cc2","kind":"tag","published_at":"2024-11-08T15:58:17.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.10.4","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.10.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.10.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.4/manifests"},{"name":"v0.10.3","sha":"35ab20c27d66ececc6825183e1f6db3ffbb72f66","kind":"tag","published_at":"2024-11-07T22:17:25.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.10.3","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.10.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.10.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.3/manifests"},{"name":"v0.10.2","sha":"d81b8c6b8567470d35d756be60b5ce0ec253ab99","kind":"tag","published_at":"2024-10-29T15:30:21.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.10.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.10.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.10.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.2/manifests"},{"name":"v0.10.1","sha":"e65107b6bda124ab451aea1a3ce00b82f1b6e974","kind":"tag","published_at":"2024-10-29T11:18:54.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.10.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.10.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.10.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.1/manifests"},{"name":"v0.10.0","sha":"31961d322d997ccc4bee123048fdedb61506c53c","kind":"tag","published_at":"2024-10-25T14:51:58.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.10.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.10.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.10.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.10.0/manifests"},{"name":"v0.9.5","sha":"e7fbd9fd1c5152eb86399719be5e31571ea7c9c3","kind":"tag","published_at":"2024-08-12T11:59:27.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.5","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.5/manifests"},{"name":"v0.9.4","sha":"ff9387e0a3820b261c464054fecaa8ecb0e55cad","kind":"tag","published_at":"2024-07-12T12:30:00.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.4","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.4/manifests"},{"name":"v0.9.3","sha":"098ff900b9a267aea178ea7f907567260e6da496","kind":"tag","published_at":"2024-07-06T10:22:16.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.3","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.3/manifests"},{"name":"v0.9.2","sha":"de84baf682956dc612ba4ee7b422489defa47d52","kind":"tag","published_at":"2024-07-04T13:39:58.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.2/manifests"},{"name":"v0.9.1","sha":"f41b8460b708d18407f3371f48c6520d5ef1fa79","kind":"tag","published_at":"2024-06-10T10:23:59.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.1/manifests"},{"name":"v0.9.0","sha":"b92856fc72a18d4e297e728751a6adbffd7fba66","kind":"tag","published_at":"2024-06-05T13:51:58.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.9.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.9.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.9.0/manifests"},{"name":"v0.8.3","sha":"d748f6a83391033ee4965a90719a8bef7d7c5d55","kind":"tag","published_at":"2024-05-21T12:32:07.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.8.3","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.8.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.8.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.3/manifests"},{"name":"v0.8.2","sha":"79fff965979a3b59a3331ebb58cb2dca7b5c40ae","kind":"tag","published_at":"2024-04-30T16:02:23.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.8.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.8.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.8.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.2/manifests"},{"name":"v0.8.1","sha":"7664d4bed611507c93c168e1094d54d3bb0aff75","kind":"tag","published_at":"2024-04-04T20:55:54.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.8.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.8.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.8.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.1/manifests"},{"name":"v0.8.0","sha":"8a2364ffd728a3780a8b55dc28e7c316ff70a5f3","kind":"tag","published_at":"2024-03-15T16:19:32.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.8.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.8.0/manifests"},{"name":"v0.7.0","sha":"69b46694e513986f18cb27f17341688379fada87","kind":"tag","published_at":"2024-02-14T11:54:32.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.7.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.7.0/manifests"},{"name":"results-master","sha":"528bfe99aa0fa90836c86354eb4bcc106e7b0041","kind":"commit","published_at":"2024-02-06T18:32:33.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/results-master","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/results-master","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@results-master","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/results-master","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/results-master/manifests"},{"name":"v0.6.14","sha":"78c2d073b828e90ece60461c661763e10181a0f1","kind":"tag","published_at":"2023-12-07T07:53:02.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.14","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.14/manifests"},{"name":"v0.6.13","sha":"e916b4821fd07bd379095e79a5a0dcca95cd9957","kind":"tag","published_at":"2023-12-06T21:54:38.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.13","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.13","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.13","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.13","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.13/manifests"},{"name":"v0.6.12","sha":"467f965449ea087bb69d5c0b62966439139c4470","kind":"tag","published_at":"2023-12-05T11:14:38.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.12","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.12/manifests"},{"name":"v0.6.11","sha":"e064de16eadba8bf058fdbd827f70d872defe563","kind":"tag","published_at":"2023-12-04T12:19:47.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.11","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.11/manifests"},{"name":"v0.6.10","sha":"f2b0cfcccced1e908597984a5585096f5f95f456","kind":"tag","published_at":"2023-12-01T07:18:38.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.10","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.10/manifests"},{"name":"v0.6.9","sha":"e99c959acba9b22903ac137ead256bc3a2705813","kind":"tag","published_at":"2023-11-30T09:17:50.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.9","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.9/manifests"},{"name":"v0.6.8","sha":"94903d0f01396633ce3173d7ce46199955535869","kind":"tag","published_at":"2023-11-30T06:08:36.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.8","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.8/manifests"},{"name":"v0.6.7","sha":"5a5b8b5840157612e28f6ba869260acc8981f344","kind":"tag","published_at":"2023-11-14T07:23:38.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.7","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.7/manifests"},{"name":"v0.6.6","sha":"bf80baa7625aa1505f85d0c7644b9258bccdd63d","kind":"tag","published_at":"2023-11-14T06:47:39.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.6","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.6/manifests"},{"name":"v0.6.5","sha":"ed52eea93a6523f1956b7e36a05c303a8d03faa9","kind":"tag","published_at":"2023-11-13T02:28:50.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.5","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.5/manifests"},{"name":"v0.6.4","sha":"e5726d625cafec9168401e16e4e6a3dda1b4158a","kind":"tag","published_at":"2023-11-11T11:05:46.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.4","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.4/manifests"},{"name":"v0.6.3","sha":"7158d47990c7a6d069f156399215655d47603fdf","kind":"tag","published_at":"2023-11-11T04:21:23.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.3","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.3/manifests"},{"name":"v0.6.2","sha":"c8d8a686a0fefb7088e29593e9674866c29c7592","kind":"tag","published_at":"2023-11-11T03:35:26.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.2/manifests"},{"name":"v0.6.1","sha":"674c3a1788c8927f12ac82375a6080bea6fa39d5","kind":"tag","published_at":"2023-11-09T11:30:59.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.1/manifests"},{"name":"v0.6.0","sha":"8d266db6647bb73877991a57396ee32d11c1b02c","kind":"tag","published_at":"2023-11-09T07:54:19.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.6.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.6.0/manifests"},{"name":"v0.5.0","sha":"b53be53808ea8617efd268dd901bef7c978f15cd","kind":"tag","published_at":"2023-09-07T17:56:44.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.5.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.5.0/manifests"},{"name":"v0.4.8","sha":"cbb11d3f5cf925922e732dc59b102317d52981cd","kind":"tag","published_at":"2023-08-05T23:20:16.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.8","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.8/manifests"},{"name":"v0.4.7","sha":"152f5711100d39ab90174bf2353e680284463536","kind":"tag","published_at":"2023-07-27T04:09:56.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.7","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.7/manifests"},{"name":"v0.4.6","sha":"c6f03c70036fbd2f289fd7171944783f0cf63d4b","kind":"tag","published_at":"2023-07-25T13:56:53.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.6","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.6/manifests"},{"name":"v0.4.5","sha":"c136b3dbc385bb8d06a17ce180843827f7268256","kind":"tag","published_at":"2023-07-23T23:53:11.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.5","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.5/manifests"},{"name":"v0.4.4","sha":"0d220a3b824eda28da3c853d54178201b7e2ea65","kind":"tag","published_at":"2023-07-23T01:56:49.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.4","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.4/manifests"},{"name":"v0.4.3","sha":"2774094c061a147a4e62d90b6b3bc7fdc5263ae9","kind":"tag","published_at":"2023-07-22T00:11:04.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.3","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.3/manifests"},{"name":"v0.4.2","sha":"f915dc490595a34fe2d2fc38d3a0f2f85d42bfc1","kind":"tag","published_at":"2023-07-19T02:05:07.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.2","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.2/manifests"},{"name":"v0.4.1","sha":"a24a2dd2757fa286502d73829ff92450226c0b78","kind":"tag","published_at":"2023-07-18T21:23:33.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.1/manifests"},{"name":"v0.4.0","sha":"e89852c6c7e8d939a92b1ba8438b6aa82a6700a8","kind":"tag","published_at":"2023-07-16T16:37:26.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.4.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.4.0/manifests"},{"name":"v0.3.0","sha":"6a22bd110af105f556a831fffcc070d24481b64c","kind":"tag","published_at":"2023-07-07T16:25:21.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.3.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.3.0/manifests"},{"name":"archive/unbounded-syntaxtree","sha":"f9537a207ae8ae07b2a6734e6092d1d2ac2decf8","kind":"commit","published_at":"2023-04-19T08:42:39.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/unbounded-syntaxtree","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/unbounded-syntaxtree","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Funbounded-syntaxtree","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Funbounded-syntaxtree","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Funbounded-syntaxtree/manifests"},{"name":"archive/algebras/giopaglia","sha":"f3c9914dec7f023d25ebb4e259acb27de98981cf","kind":"commit","published_at":"2023-03-30T15:42:23.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/algebras/giopaglia","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/algebras/giopaglia","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Falgebras%2Fgiopaglia","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Falgebras%2Fgiopaglia","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Falgebras%2Fgiopaglia/manifests"},{"name":"v0.2.1","sha":"a12d97bf4a2824c9f6566c6b48182428bccc3b62","kind":"tag","published_at":"2023-03-12T11:07:58.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.2.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.2.1/manifests"},{"name":"v0.2.0","sha":"18d7d236e8aed90fe8869d0f02c938ed43cd27f5","kind":"tag","published_at":"2023-03-08T09:25:52.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.2.0","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.2.0/manifests"},{"name":"archive/different-semantics","sha":"9f88e3f5aecc071911bf7f699a839eee7f4d78e9","kind":"commit","published_at":"2023-02-19T23:35:48.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/different-semantics","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/different-semantics","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Fdifferent-semantics","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Fdifferent-semantics","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Fdifferent-semantics/manifests"},{"name":"archive/dataset-structures","sha":"56c44779c8b6ceaa46b086104ccad7589a260204","kind":"commit","published_at":"2023-01-25T16:11:19.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/dataset-structures","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/dataset-structures","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Fdataset-structures","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Fdataset-structures","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Fdataset-structures/manifests"},{"name":"archive/alphabet/lele+mauro","sha":"0ff29ff962ef75e24bd6f7c570e76e34a327e113","kind":"commit","published_at":"2022-11-28T18:29:54.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/alphabet/lele+mauro","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/alphabet/lele+mauro","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Falphabet%2Flele%2Bmauro","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Falphabet%2Flele+mauro","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Falphabet%2Flele+mauro/manifests"},{"name":"v0.1","sha":"90db625739d3e856a13cf88b3e75616707e32504","kind":"tag","published_at":"2022-11-21T20:30:17.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/v0.1","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/v0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@v0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/v0.1/manifests"},{"name":"archive/refactoring/mauro","sha":"00b25e6c8420546e24fbb015d33dee25ca67c87a","kind":"commit","published_at":"2022-10-20T13:29:10.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/refactoring/mauro","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/refactoring/mauro","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Frefactoring%2Fmauro","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Frefactoring%2Fmauro","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Frefactoring%2Fmauro/manifests"},{"name":"archive/eduard/logics","sha":"65349b0adfc2559ff7da59bd575c556b54528542","kind":"commit","published_at":"2022-10-03T16:04:48.000Z","download_url":"https://codeload.github.com/aclai-lab/SoleLogics.jl/tar.gz/archive/eduard/logics","html_url":"https://github.com/aclai-lab/SoleLogics.jl/releases/tag/archive/eduard/logics","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/aclai-lab/SoleLogics.jl@archive%2Feduard%2Flogics","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Feduard%2Flogics","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/tags/archive%2Feduard%2Flogics/manifests"}]},"repo_metadata_updated_at":"2025-08-17T07:08:32.818Z","dependent_packages_count":4,"downloads":5,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":9.939726027397262,"dependent_packages_count":38.915068493150685,"stargazers_count":45.07397260273972,"forks_count":53.52328767123288,"average":36.863013698630134},"purl":"pkg:julia/SoleLogics","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/julia/SoleLogics","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/julia/SoleLogics","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/julia/SoleLogics/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-07-17T06:36:55.815Z","issues_count":18,"pull_requests_count":55,"avg_time_to_close_issue":6874959.615384615,"avg_time_to_close_pull_request":2177429.611111111,"issues_closed_count":13,"pull_requests_closed_count":54,"pull_request_authors_count":8,"issue_authors_count":5,"avg_comments_per_issue":12.61111111111111,"avg_comments_per_pull_request":0.5818181818181818,"merged_pull_requests_count":40,"bot_issues_count":0,"bot_pull_requests_count":19,"past_year_issues_count":15,"past_year_pull_requests_count":32,"past_year_avg_time_to_close_issue":2147798.3636363638,"past_year_avg_time_to_close_pull_request":513557.5806451613,"past_year_issues_closed_count":11,"past_year_pull_requests_closed_count":31,"past_year_pull_request_authors_count":8,"past_year_issue_authors_count":4,"past_year_avg_comments_per_issue":1.6666666666666667,"past_year_avg_comments_per_pull_request":0.8125,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":27,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/issues","maintainers":[{"login":"alberto-paparella","count":33,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alberto-paparella"},{"login":"mauro-milella","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mauro-milella"},{"login":"giopaglia","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/giopaglia"},{"login":"Perro2110","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Perro2110"},{"login":"edo-007","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/edo-007"}],"active_maintainers":[{"login":"alberto-paparella","count":32,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alberto-paparella"},{"login":"mauro-milella","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mauro-milella"},{"login":"edo-007","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/edo-007"},{"login":"giopaglia","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/giopaglia"},{"login":"Perro2110","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Perro2110"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/SoleLogics/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/SoleLogics/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/SoleLogics/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/SoleLogics/related_packages","maintainers":[],"registry":{"name":"juliahub.com","url":"https://juliahub.com","ecosystem":"julia","default":true,"packages_count":12696,"maintainers_count":0,"namespaces_count":0,"keywords_count":7447,"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-08T06:56:33.218Z","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":9517125,"full_name":"aclai-lab/solelogics.jl","default_branch":"main","committers":[{"name":"giopaglia","email":"24519853+giopaglia","login":"giopaglia","count":531},{"name":"mauro-milella","email":"milella_mauro@live.it","login":"mauro-milella","count":346},{"name":"alberto-paparella","email":"alberto.paparella@edu.unife.it","login":"alberto-paparella","count":130},{"name":"mauro.milella","email":"mauro.milella@edu.unife.it","login":"mauroMilella","count":35},{"name":"Michele21","email":"ghiottimichele12@gmail.com","login":"Michele21","count":24},{"name":"edo-007","email":"edofau07@gmail.com","login":"edo-007","count":15},{"name":"Eduard","email":"stan.i.eduard@gmail.com","login":"eduardstan","count":13},{"name":"CompatHelper Julia","email":"compathelper_noreply@julialang.org","login":null,"count":11},{"name":"ferdiu","email":"ferdiu.manzella@gmail.com","login":"ferdiu","count":5},{"name":"Perro2110","email":"perrottamarco2011@gmail.com","login":"Perro2110","count":2},{"name":"PasoStudio73","email":"paso.studio73@gmail.com","login":"PasoStudio73","count":1}],"total_commits":1113,"total_committers":11,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":101.18181818181819,"dds":0.522911051212938,"past_year_committers":[{"name":"giopaglia","email":"24519853+giopaglia","login":"giopaglia","count":111},{"name":"alberto-paparella","email":"alberto.paparella@edu.unife.it","login":"alberto-paparella","count":54},{"name":"mauro-milella","email":"milella_mauro@live.it","login":"mauro-milella","count":36},{"name":"edo-007","email":"edofau07@gmail.com","login":"edo-007","count":9},{"name":"Michele Ghiotti","email":"ghiottimichele12@gmail.com","login":"Michele21","count":4},{"name":"Perro2110","email":"perrottamarco2011@gmail.com","login":"Perro2110","count":2},{"name":"PasoStudio73","email":"paso.studio73@gmail.com","login":"PasoStudio73","count":1},{"name":"CompatHelper Julia","email":"compathelper_noreply@julialang.org","login":null,"count":1}],"past_year_total_commits":218,"past_year_total_committers":8,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":27.25,"past_year_dds":0.49082568807339455,"last_synced_at":"2025-04-09T21:23:46.737Z","last_synced_commit":"68560e8d58426fce547b13b90ec7e3619b822267","created_at":"2025-04-05T12:15:45.496Z","updated_at":"2025-04-09T21:24:18.562Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2Fsolelogics.jl/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-08T00:00:16.827Z","repositories_count":5497978,"commits_count":856299706,"contributors_count":31291234,"owners_count":912884,"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":"aclai-lab/SoleLogics.jl","html_url":"https://github.com/aclai-lab/SoleLogics.jl","last_synced_at":"2025-09-08T23:34:03.515Z","status":"active","issues_count":18,"pull_requests_count":83,"avg_time_to_close_issue":6816762.2,"avg_time_to_close_pull_request":1815331.4155844157,"issues_closed_count":10,"pull_requests_closed_count":77,"pull_request_authors_count":8,"issue_authors_count":5,"avg_comments_per_issue":11.777777777777779,"avg_comments_per_pull_request":0.5783132530120482,"merged_pull_requests_count":59,"bot_issues_count":0,"bot_pull_requests_count":24,"past_year_issues_count":14,"past_year_pull_requests_count":58,"past_year_avg_time_to_close_issue":302366.125,"past_year_avg_time_to_close_pull_request":306621.46153846156,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":52,"past_year_pull_request_authors_count":8,"past_year_issue_authors_count":4,"past_year_avg_comments_per_issue":0.7142857142857143,"past_year_avg_comments_per_pull_request":0.7068965517241379,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":4,"past_year_merged_pull_requests_count":45,"created_at":"2023-05-10T15:45:33.915Z","updated_at":"2025-09-08T23:34:03.520Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/aclai-lab%2FSoleLogics.jl/issues","issue_labels_count":{"enhancement":7,"bug":3,"help wanted":3,"ManyValuedLogics":3,"suggested change":2,"good first issue":2,"invalid":1},"pull_request_labels_count":{"enhancement":4,"bug":3,"good first issue":1,"help wanted":1},"issue_author_associations_count":{"MEMBER":14,"NONE":2,"COLLABORATOR":2},"pull_request_author_associations_count":{"MEMBER":41,"NONE":27,"COLLABORATOR":11,"CONTRIBUTOR":4},"issue_authors":{"alberto-paparella":11,"giopaglia":3,"mauro-milella":2,"ReubenJ":1,"JuliaTagBot":1},"pull_request_authors":{"alberto-paparella":36,"github-actions[bot]":24,"mauro-milella":7,"edo-007":4,"Perro2110":4,"PasoStudio73":3,"giopaglia":3,"Michele21":2},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-08T00:00:17.013Z","repositories_count":10173627,"issues_count":31934131,"pull_requests_count":100123000,"authors_count":10733638,"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":{"enhancement":7,"bug":3,"help wanted":3,"ManyValuedLogics":3,"suggested change":2,"good first issue":2,"invalid":1},"past_year_pull_request_labels_count":{"enhancement":3,"bug":3,"good first issue":1,"help wanted":1},"past_year_issue_author_associations_count":{"MEMBER":13,"NONE":1},"past_year_pull_request_author_associations_count":{"MEMBER":40,"NONE":7,"COLLABORATOR":7,"CONTRIBUTOR":4},"past_year_issue_authors":{"alberto-paparella":11,"giopaglia":1,"mauro-milella":1,"ReubenJ":1},"past_year_pull_request_authors":{"alberto-paparella":35,"Perro2110":4,"edo-007":4,"mauro-milella":4,"github-actions[bot]":4,"PasoStudio73":3,"giopaglia":2,"Michele21":2},"maintainers":[{"login":"alberto-paparella","count":47,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alberto-paparella"},{"login":"mauro-milella","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mauro-milella"},{"login":"giopaglia","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/giopaglia"},{"login":"edo-007","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/edo-007"},{"login":"Perro2110","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Perro2110"}],"active_maintainers":[{"login":"alberto-paparella","count":46,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alberto-paparella"},{"login":"mauro-milella","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mauro-milella"},{"login":"edo-007","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/edo-007"},{"login":"giopaglia","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/giopaglia"},{"login":"Perro2110","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Perro2110"}]},"events":{"total":{"CreateEvent":24,"IssuesEvent":30,"ReleaseEvent":9,"WatchEvent":2,"DeleteEvent":28,"IssueCommentEvent":85,"PushEvent":180,"PullRequestReviewCommentEvent":1,"PullRequestEvent":62,"ForkEvent":3},"last_year":{"CreateEvent":24,"IssuesEvent":30,"ReleaseEvent":9,"WatchEvent":2,"DeleteEvent":28,"IssueCommentEvent":85,"PushEvent":180,"PullRequestReviewCommentEvent":1,"PullRequestEvent":62,"ForkEvent":3}},"keywords":["logic","modal-logic","symbolic-learning"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/TagBot.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T08:45:31.843Z","updated_at":"2023-02-18T08:45:31.843Z","repository_link":"https://github.com/aclai-lab/SoleLogics.jl/blob/main/.github/workflows/TagBot.yml","dependencies":[{"id":7757889835,"package_name":"JuliaRegistries/TagBot","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/CompatHelper.yml","sha":null,"kind":"manifest","created_at":"2023-09-28T11:57:11.314Z","updated_at":"2023-09-28T11:57:11.314Z","repository_link":"https://github.com/aclai-lab/SoleLogics.jl/blob/main/.github/workflows/CompatHelper.yml","dependencies":[{"id":13996523901,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/Documentation.yml","sha":null,"kind":"manifest","created_at":"2023-09-28T11:57:11.347Z","updated_at":"2023-09-28T11:57:11.347Z","repository_link":"https://github.com/aclai-lab/SoleLogics.jl/blob/main/.github/workflows/Documentation.yml","dependencies":[{"id":13996524169,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13996524170,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-09-28T11:57:11.432Z","updated_at":"2023-09-28T11:57:11.432Z","repository_link":"https://github.com/aclai-lab/SoleLogics.jl/blob/main/.github/workflows/ci.yml","dependencies":[{"id":13996524174,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13996524175,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13996524176,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13996524177,"package_name":"julia-actions/julia-runtest","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13996524178,"package_name":"julia-actions/julia-processcoverage","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13996524179,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]}],"score":7.686162303492907,"created_at":"2025-09-08T21:26:45.162Z","updated_at":"2025-10-07T08:29:18.358Z","avatar_url":"https://github.com/aclai-lab.png","language":"Julia","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["decision-trees","time-series-classification"],"project_url":"https://science.ecosyste.ms/api/v1/projects/87755","html_url":"https://science.ecosyste.ms/projects/87755"}