Choco-solver: A Java library for constraint programming
Choco-solver: A Java library for constraint programming - Published in JOSS (2022)
https://github.com/chocoteam/choco-solver
Keywords
constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver constraints copr csp java solver
Keywords from Contributors
measure transformer observability archiving compose reporting language-model chart annotation numerics
Last synced: 2 months ago
JSON representation
Acceptance Criteria
- Revelant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
Repository metadata
An open-source Java library for Constraint Programming
- Host: GitHub
- URL: https://github.com/chocoteam/choco-solver
- Owner: chocoteam
- License: bsd-4-clause
- Created: 2011-11-04T09:09:18.000Z (about 14 years ago)
- Default Branch: master
- Last Pushed: 2025-10-16T14:01:38.000Z (3 months ago)
- Last Synced: 2025-10-24T00:27:04.971Z (2 months 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: 83.7 MB
- Stars: 735
- Watchers: 46
- Forks: 149
- Open Issues: 77
- Releases: 0
-
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 ynced at: 2024-03-26T04:04:55.121Z
- Profile URL: https://github.com/chocoteam
GitHub Events
Total
- Create event: 40
- Release event: 2
- Issues event: 26
- Watch event: 42
- Delete event: 28
- Issue comment event: 67
- Push event: 84
- Pull request review event: 77
- Pull request review comment event: 78
- Pull request event: 70
- Fork event: 11
Last Year
- Create event: 40
- Release event: 2
- Issues event: 26
- Watch event: 40
- Delete event: 28
- Issue comment event: 67
- Push event: 84
- Pull request review event: 77
- Pull request review comment event: 78
- Pull request event: 69
- Fork event: 10
Committers metadata
Last synced: 2 months ago
Total Commits: 5,613
Total Committers: 41
Avg Commits per committer: 136.902
Development Distribution Score (DDS): 0.358
Commits in past year: 244
Committers in past year: 2
Avg Commits per committer in past year: 122.0
Development Distribution Score (DDS) in past year: 0.008
| Name | Commits | |
|---|---|---|
| cprudhom | c****m@m****r | 3603 |
| Jean-Guillaume Fages | j****s@g****m | 1379 |
| Dimitri | d****u@g****m | 162 |
| cprudhom | c****m@0****b | 153 |
| Arthur Godet | a****t@g****m | 48 |
| 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 |
| Guillaume Le Louët | g****t@g****m | 7 |
| njussien | n****n@g****m | 7 |
| Mohamed Wahbi | w****d@g****m | 5 |
| Jani Simomaa | j****a@g****m | 5 |
| João Pedro Schmitt | s****o@g****m | 4 |
| Mehmet Hakan Satman | m****n@g****m | 4 |
| xlorca | x****a@0****b | 3 |
| Albert Hendriks | a****s@g****m | 2 |
| dependabot-preview[bot] | 2****] | 2 |
| Arnaud Letort | a****1@p****r | 2 |
| Fabien Hermenier | f****r@u****r | 2 |
| Olivier Pirson | o****i@y****r | 2 |
| gregy4 | g****n@g****m | 1 |
| geokoodi | g****i@g****m | 1 |
| ZhangYang(Nesime) | z****e@i****m | 1 |
| Dmitrij Zherebjatjew | d****w@t****t | 1 |
| and 11 more... | ||
Committer domains:
- unice.fr: 2
- mines-nantes.fr: 2
- rwth-aachen.de: 1
- tomologic.com: 1
- timoptim.com: 1
- asert.com.au: 1
- dlr.de: 1
- supagro.fr: 1
- thumbtack.net: 1
- portinfo51.info.emn.fr: 1
- nutanix.com: 1
- emn.fr: 1
Issue and Pull Request metadata
Last synced: 2 months ago
Total issues: 84
Total pull requests: 196
Average time to close issues: 4 months
Average time to close pull requests: 4 months
Total issue authors: 32
Total pull request authors: 17
Average comments per issue: 1.69
Average comments per pull request: 1.01
Merged pull request: 81
Bot issues: 0
Bot pull requests: 94
Past year issues: 17
Past year pull requests: 78
Past year average time to close issues: 13 days
Past year average time to close pull requests: 19 days
Past year issue authors: 12
Past year pull request authors: 8
Past year average comments per issue: 0.82
Past year average comments per pull request: 0.68
Past year merged pull request: 17
Past year bot issues: 0
Past year bot pull requests: 39
Top Issue Authors
- cprudhom (20)
- matsc-at-sics-se (14)
- Holt59 (5)
- IgnaceBleukx (4)
- chocotrust (4)
- arnaud-m (3)
- jsimomaa (3)
- dimitri-justeau (3)
- o-fir (2)
- SYury (2)
- ptal (2)
- zy-nesime (2)
- fhermeni (1)
- bourreauEric (1)
- verenya (1)
Top Pull Request Authors
- dependabot[bot] (93)
- cprudhom (49)
- jgFages (16)
- ArthurGodet (15)
- fhermeni (4)
- jsimomaa (4)
- dimitri-justeau (3)
- gadavidd (2)
- paulk-asert (2)
- tlorieul (1)
- zy-nesime (1)
- JLLeitschuh (1)
- Krizhnikov (1)
- glelouet (1)
- NelusBreizh (1)
Top Issue Labels
- bug (55)
- good first issue (2)
- help wanted (1)
- feature (1)
Top Pull Request Labels
- dependencies (94)
- feature (19)
- 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: 106
repo1.maven.org: org.choco-solver:choco-solver
Open-source constraint solver.
- Homepage: http://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco-solver/
- Licenses: BSD
- Latest release: 4.10.18 (published 11 months ago)
- Last Synced: 2025-10-26T01:12:14.414Z (2 months ago)
- Versions: 38
- 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: http://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco-parsers/
- Licenses: BSD
- Latest release: 4.10.18 (published 11 months ago)
- Last Synced: 2025-10-26T01:12:14.793Z (2 months ago)
- Versions: 22
- 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
- Latest release: 4.10.6 (published about 5 years ago)
- Last Synced: 2025-10-26T01:11:45.182Z (2 months 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
- Latest release: 4.10.18 (published 11 months ago)
- Last Synced: 2025-10-26T01:11:58.204Z (2 months 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: http://choco-solver.org/
- Documentation: https://appdoc.app/artifact/org.choco-solver/choco/
- Licenses: BSD 4-Clause License
- Latest release: 4.10.18 (published 11 months ago)
- Last Synced: 2025-10-26T01:11:45.473Z (2 months ago)
- Versions: 23
- 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
Score: 17.540766106213383