JOSS: https://github.com/chocoteam/choco-solver
constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver constraints copr csp java solver
Score: 17.611775446204142
Last synced: about 15 hours ago
JSON representation
Repository metadata:
An open-source Java library for Constraint Programming
- Host: GitHub
- URL: https://github.com/chocoteam/choco-solver
- Owner: chocoteam
- License: bsd-3-clause
- Created: 2011-11-04T09:09:18.000Z (over 14 years ago)
- Default Branch: master
- Last Pushed: 2026-06-19T20:55:21.000Z (3 days ago)
- Last Synced: 2026-06-19T21:05:25.275Z (3 days ago)
- Topics: constraint-optimisation-problem, constraint-programming, constraint-satisfaction-problem, constraint-solver, constraints, copr, csp, java, solver
- Language: Java
- Homepage: http://choco-solver.org/
- Size: 85.9 MB
- Stars: 770
- Watchers: 46
- Forks: 157
- Open Issues: 81
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Citation: CITATION.cff
- Authors: AUTHORS
Owner metadata:
- Name: chocoteam
- Login: chocoteam
- Email:
- Kind: organization
- Description:
- Website:
- Location:
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/3829941?v=4
- Repositories: 22
- Last Synced at: 2024-03-26T04:04:55.121Z
- Profile URL: https://github.com/chocoteam
GitHub Events
Total
- Create event: 47
- Delete event: 33
- Fork event: 13
- Issue comment event: 77
- Issues event: 28
- Pull request event: 74
- Pull request review comment event: 91
- Pull request review event: 88
- Push event: 120
- Release event: 2
- Watch event: 50
- Total: 623
Last Year
- Create event: 11
- Delete event: 7
- Fork event: 4
- Issue comment event: 23
- Issues event: 4
- Pull request event: 11
- Pull request review comment event: 39
- Pull request review event: 35
- Push event: 58
- Watch event: 17
- Total: 209
Committers metadata
Last synced: 3 days ago
Total Commits: 5,908
Total Committers: 42
Avg Commits per committer: 140.667
Development Distribution Score (DDS): 0.353
Commits in past year: 227
Committers in past year: 4
Avg Commits per committer in past year: 56.75
Development Distribution Score (DDS) in past year: 0.295
| Name | Commits | |
|---|---|---|
| cprudhom | c****m@m****r | 3822 |
| Jean-Guillaume Fages | j****s@g****m | 1442 |
| Dimitri | d****u@g****m | 162 |
| cprudhom | c****m@0****b | 153 |
| Arthur Godet | a****t@g****m | 60 |
| dependabot[bot] | 4****] | 44 |
| JLiangWaterloo | p****g@g****m | 36 |
| jfages07 | j****7@0****b | 28 |
| xavier lorca | x****a@e****r | 23 |
| Alexandre Lebrun | a****5@h****r | 22 |
| jussien | j****n@0****b | 21 |
| Arnaud Malapert | a****t@u****r | 17 |
| Fabien Hermenier | f****r@n****m | 9 |
| Choco Team | c****o@m****r | 8 |
| njussien | n****n@g****m | 7 |
| Guillaume Le Louët | g****t@g****m | 7 |
| Mohamed Wahbi | w****d@g****m | 5 |
| Jani Simomaa | j****a@g****m | 5 |
| Mehmet Hakan Satman | m****n@g****m | 4 |
| João Pedro Schmitt | s****o@g****m | 4 |
| xlorca | x****a@0****b | 3 |
| dependabot-preview[bot] | 2****] | 2 |
| Albert Hendriks | a****s@g****m | 2 |
| Arnaud Letort | a****1@p****r | 2 |
| Fabien Hermenier | f****r@u****r | 2 |
| Olivier Pirson | o****i@y****r | 2 |
| Rodolfo Jordao | 4****s | 1 |
| Titouan Lorieul | t****l@s****r | 1 |
| Dmitrij Zherebjatjew | d****w@t****t | 1 |
| ZhangYang(Nesime) | z****e@i****m | 1 |
| and 12 more... | ||
Issue and Pull Request metadata
Last synced: 3 days ago
Total issues: 93
Total pull requests: 219
Average time to close issues: 4 months
Average time to close pull requests: 4 months
Total issue authors: 36
Total pull request authors: 19
Average comments per issue: 1.82
Average comments per pull request: 1.02
Merged pull request: 101
Bot issues: 0
Bot pull requests: 94
Past year issues: 11
Past year pull requests: 31
Past year average time to close issues: 16 days
Past year average time to close pull requests: 8 days
Past year issue authors: 9
Past year pull request authors: 7
Past year average comments per issue: 2.36
Past year average comments per pull request: 1.29
Past year merged pull request: 21
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- cprudhom (21)
- matsc-at-sics-se (14)
- Holt59 (5)
- IgnaceBleukx (4)
- chocotrust (4)
- dimitri-justeau (4)
- YoanThomasPhd (3)
- arnaud-m (3)
- jsimomaa (3)
- o-fir (2)
- SYury (2)
- ptal (2)
- zy-nesime (2)
- axkr (2)
- fhermeni (1)
Top Pull Request Authors
- dependabot[bot] (93)
- cprudhom (54)
- jgFages (27)
- ArthurGodet (17)
- fhermeni (4)
- gadavidd (4)
- jsimomaa (4)
- dimitri-justeau (3)
- paulk-asert (2)
- YoanThomasPhd (2)
- tlorieul (1)
- zy-nesime (1)
- JLLeitschuh (1)
- rasros (1)
- Krizhnikov (1)
Top Issue Labels
- bug (62)
- good first issue (2)
- help wanted (1)
- feature (1)
Top Pull Request Labels
- dependencies (94)
- feature (20)
- bug (11)
- java (9)
Package metadata
- Total packages: 5
- Total downloads: unknown
- Total docker downloads: 1,062
- Total dependent packages: 34 (may contain duplicates)
- Total dependent repositories: 121 (may contain duplicates)
- Total versions: 118
repo1.maven.org: org.choco-solver:choco-solver
Open-source constraint solver.
- Homepage: https://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco-solver/
- Licenses: BSD-3-Clause.
- Latest release: 6.0.1 (published about 1 month ago)
- Last Synced: 2026-06-19T21:02:08.998Z (3 days ago)
- Versions: 42
- Dependent Packages: 30
- Dependent Repositories: 113
- Docker Downloads: 371
-
Rankings:
- Dependent repos count: 1.788%
- Dependent packages count: 2.181%
- Docker downloads count: 4.769%
- Average: 7.989%
- Stargazers count: 14.134%
- Forks count: 17.076%
repo1.maven.org: org.choco-solver:choco-parsers
Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
- Homepage: https://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco-parsers/
- Licenses: BSD-3-Clause.
- Latest release: 6.0.1 (published about 1 month ago)
- Last Synced: 2026-06-19T21:02:17.769Z (3 days ago)
- Versions: 26
- Dependent Packages: 2
- Dependent Repositories: 5
- Docker Downloads: 371
-
Rankings:
- Docker downloads count: 4.769%
- Dependent repos count: 10.913%
- Average: 14.009%
- Stargazers count: 14.134%
- Forks count: 17.076%
- Dependent packages count: 23.154%
repo1.maven.org: org.choco-solver:choco-sat
A SAT solver, used internally in choco-solver
- Homepage: http://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco-sat/
- Licenses: BSD 4-Clause License
- Latest release: 4.10.6 (published over 5 years ago)
- Last Synced: 2026-06-19T21:02:04.116Z (3 days ago)
- Versions: 6
- Dependent Packages: 2
- Dependent Repositories: 2
- Docker Downloads: 320
-
Rankings:
- Docker downloads count: 4.769%
- Stargazers count: 14.134%
- Average: 15.049%
- Dependent repos count: 16.112%
- Forks count: 17.076%
- Dependent packages count: 23.154%
repo1.maven.org: org.choco-solver:examples
Choco-solver in practice
- Homepage: http://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/examples/
- Licenses: BSD 4-Clause License
- Latest release: 4.10.18 (published over 1 year ago)
- Last Synced: 2026-06-19T21:02:32.591Z (3 days ago)
- Versions: 17
- Dependent Packages: 0
- Dependent Repositories: 1
-
Rankings:
- Stargazers count: 14.134%
- Forks count: 17.076%
- Dependent repos count: 20.771%
- Average: 25.532%
- Dependent packages count: 50.147%
repo1.maven.org: org.choco-solver:choco
A Free and Open-Source library dedicated to Constraint Programming.
- Homepage: https://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco/
- Licenses: BSD-3-Clause
- Latest release: 6.0.1 (published about 1 month ago)
- Last Synced: 2026-06-19T21:02:58.335Z (3 days ago)
- Versions: 27
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Stargazers count: 11.989%
- Forks count: 12.006%
- Average: 26.209%
- Dependent repos count: 31.98%
- Dependent packages count: 48.86%
Dependencies
- actions/checkout v2 composite
- github/codeql-action/analyze v1 composite
- github/codeql-action/autobuild v1 composite
- github/codeql-action/init v1 composite
- actions/checkout v2 composite
- docker/build-push-action v1.1.0 composite
- actions/checkout v2 composite
- actions/upload-artifact v1 composite
- openjournals/openjournals-draft-action master composite
- actions/checkout v3 composite
- actions/setup-java v3 composite
- actions/upload-artifact v3 composite
- actions/checkout v2 composite
- actions/setup-java v3 composite
- gradle 4.8.1-jdk10 build
- openjdk 10.0.1-10-jdk build
- args4j:args4j 2.33 compile
- org.choco-solver:choco-parsers 4.10.11-SNAPSHOT
- org.choco-solver:choco-solver 4.10.11-SNAPSHOT
- args4j:args4j 2.33
- org.antlr:antlr4 4.9.3
- org.antlr:antlr4-runtime 4.9.3
- org.choco-solver:choco-solver 4.10.11-SNAPSHOT
- org.xcsp:xcsp3-tools 2.1
- net.sf.trove4j:trove4j 3.0.3
- org.choco-solver:choco-parsers 4.10.11-SNAPSHOT
- org.choco-solver:choco-solver 4.10.11-SNAPSHOT
- org.testng:testng 7.5 test
- dk.brics.automaton:automaton 1.11-8
- org.jgrapht:jgrapht-core 1.4.0
- org.knowm.xchart:xchart 3.8.3