{"id":13713146,"url":"https://github.com/chocoteam/choco-solver","last_synced_at":"2026-01-14T02:03:31.780Z","repository":{"id":1784275,"uuid":"2708082","full_name":"chocoteam/choco-solver","owner":"chocoteam","description":"An open-source Java library for Constraint Programming","archived":false,"fork":false,"pushed_at":"2025-12-28T14:13:52.000Z","size":87835,"stargazers_count":747,"open_issues_count":78,"forks_count":152,"subscribers_count":46,"default_branch":"master","last_synced_at":"2026-01-06T03:21:10.580Z","etag":null,"topics":["constraint-optimisation-problem","constraint-programming","constraint-satisfaction-problem","constraint-solver","constraints","copr","csp","java","solver"],"latest_commit_sha":null,"homepage":"http://choco-solver.org/","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-4-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/chocoteam.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2011-11-04T09:09:18.000Z","updated_at":"2026-01-03T23:40:39.000Z","dependencies_parsed_at":"2025-01-06T15:27:43.762Z","dependency_job_id":"6cc47a04-1180-41da-b188-15bb98f2dfa2","html_url":"https://github.com/chocoteam/choco-solver","commit_stats":{"total_commits":5302,"total_committers":42,"mean_commits":"126.23809523809524","dds":0.5360241418332705,"last_synced_commit":"aaa1ae7b9986e0371c83a4099a96eae256f20e70"},"previous_names":["chocoteam/choco3"],"tags_count":66,"template":false,"template_full_name":null,"purl":"pkg:github/chocoteam/choco-solver","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chocoteam%2Fchoco-solver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chocoteam%2Fchoco-solver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chocoteam%2Fchoco-solver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chocoteam%2Fchoco-solver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chocoteam","download_url":"https://codeload.github.com/chocoteam/choco-solver/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chocoteam%2Fchoco-solver/sbom","scorecard":{"id":278589,"data":{"date":"2025-08-11","repo":{"name":"github.com/chocoteam/choco-solver","commit":"f28bd85a132f236907135186338af88ab95d05bf"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.4,"checks":[{"name":"Maintained","score":0,"reason":"0 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":0,"reason":"Found 0/30 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/codeql-analysis.yml:1","Warn: no topLevel permission defined: .github/workflows/docker-image.yml:1","Warn: no topLevel permission defined: .github/workflows/draft-pdf.yml:1","Warn: no topLevel permission defined: .github/workflows/maven-test.yml:1","Warn: no topLevel permission defined: .github/workflows/publish-snapshot.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"SAST","score":10,"reason":"SAST tool detected: CodeQL","details":["Info: SAST configuration detected: CodeQL","Warn: no pull requests merged into dev branch"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: BSD 4-Clause \"Original\" or \"Old\" License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v5.0.0-beta.1 not signed: https://api.github.com/repos/chocoteam/choco-solver/releases/200758925","Warn: release artifact v4.10.18 not signed: https://api.github.com/repos/chocoteam/choco-solver/releases/196965575","Warn: release artifact v4.10.17 not signed: https://api.github.com/repos/chocoteam/choco-solver/releases/176334467","Warn: release artifact v4.10.16 not signed: https://api.github.com/repos/chocoteam/choco-solver/releases/175197766","Warn: release artifact v4.10.15 not signed: https://api.github.com/repos/chocoteam/choco-solver/releases/174136563","Warn: release artifact v5.0.0-beta.1 does not have provenance: https://api.github.com/repos/chocoteam/choco-solver/releases/200758925","Warn: release artifact v4.10.18 does not have provenance: https://api.github.com/repos/chocoteam/choco-solver/releases/196965575","Warn: release artifact v4.10.17 does not have provenance: https://api.github.com/repos/chocoteam/choco-solver/releases/176334467","Warn: release artifact v4.10.16 does not have provenance: https://api.github.com/repos/chocoteam/choco-solver/releases/175197766","Warn: release artifact v4.10.15 does not have provenance: https://api.github.com/repos/chocoteam/choco-solver/releases/174136563"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Packaging","score":10,"reason":"packaging workflow detected","details":["Info: Project packages its releases by way of GitHub Actions.: .github/workflows/publish-snapshot.yml:13"],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/codeql-analysis.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:52: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/codeql-analysis.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:63: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/codeql-analysis.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:77: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/codeql-analysis.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/docker-image.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/docker-image.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/docker-image.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/docker-image.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/draft-pdf.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/draft-pdf.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/draft-pdf.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/draft-pdf.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/draft-pdf.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/draft-pdf.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:42: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:46: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:67: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:71: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:92: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/maven-test.yml:96: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/maven-test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/publish-snapshot.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/publish-snapshot.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/publish-snapshot.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/chocoteam/choco-solver/publish-snapshot.yml/master?enable=pin","Warn: containerImage not pinned by hash: examples/notebooks/binder/Dockerfile:1","Warn: containerImage not pinned by hash: examples/notebooks/binder/Dockerfile:16: pin your Docker image by updating openjdk:10.0.1-10-jdk to openjdk:10.0.1-10-jdk@sha256:10ef69a22632121170edb5690f7df1a61d1222410624f311c44f593d0135a855","Warn: containerImage not pinned by hash: parsers/src/main/minizinc/docker/Dockerfile.dms:13","Warn: pipCommand not pinned by hash: examples/notebooks/binder/Dockerfile:30","Info:   0 out of  17 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   2 third-party GitHubAction dependencies pinned","Info:   0 out of   3 containerImage dependencies pinned","Info:   0 out of   1 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}}]},"last_synced_at":"2025-08-17T15:09:06.703Z","repository_id":1784275,"created_at":"2025-08-17T15:09:06.704Z","updated_at":"2025-08-17T15:09:06.704Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28408711,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-14T01:52:23.358Z","status":"online","status_checked_at":"2026-01-14T02:00:06.678Z","response_time":107,"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"}},"keywords":["constraint-optimisation-problem","constraint-programming","constraint-satisfaction-problem","constraint-solver","constraints","copr","csp","java","solver"],"created_at":"2024-08-02T23:01:28.476Z","updated_at":"2026-01-14T02:03:31.775Z","avatar_url":"https://github.com/chocoteam.png","language":"Java","readme":"![logo](https://github.com/chocoteam/choco-solver/blob/master/solver/src/resources/png/ChocoLogo-160x135.png)\n\n[![DOI](https://joss.theoj.org/papers/10.21105/joss.04708/status.svg)](https://doi.org/10.21105/joss.04708)\n\n[![Discord](https://img.shields.io/discord/976015799619842078?color=7289DA\u0026logo=discord\u0026style=plastic)](https://discord.gg/aH6zxa7e64)\n[![Maven Central](https://maven-badges.herokuapp.com/maven-central/org.choco-solver/choco-solver/badge.svg)](https://maven-badges.herokuapp.com/maven-central/org.choco-solver/choco-solver)\n[![javadoc.io](https://javadoc.io/badge2/org.choco-solver/choco-solver/javadoc.io.svg)](https://javadoc.io/doc/org.choco-solver/choco-solver)\n\n![Build](https://github.com/chocoteam/choco-solver/actions/workflows/maven-test.yml/badge.svg)\n[![codecov.io](https://codecov.io/github/chocoteam/choco-solver/coverage.svg?branch=master)](https://codecov.io/github/chocoteam/choco-solver?branch=master)\n[![Codacy Badge](https://app.codacy.com/project/badge/Grade/f1bafa113f94486b96343d63782c0f7a)](https://www.codacy.com/gh/chocoteam/choco-solver/dashboard?utm_source=github.com\u0026amp;utm_medium=referral\u0026amp;utm_content=chocoteam/choco-solver\u0026amp;utm_campaign=Badge_Grade)\n\n\n* [Documentation, Support and Issues](#doc)\n* [Contributing](#con)\n* [Download and installation](#dow)\n\nChoco-solver is an open-source Java library for Constraint Programming.\n\nCurrent stable version is 5.0.0-beta.1 (17 Feb 2025).\n\nChoco-solver comes with:\n- various type of variables (integer, boolean, set, graph and real),\n- various state-of-the-art constraints (alldifferent, count, nvalues, etc.),\n- various search strategies, from basic ones (first_fail, smallest, etc.) to most complex (impact-based and activity-based search),\n- explanation-based engine, that enables conflict-based back jumping, dynamic backtracking and path repair,\n\nBut also, facilities to interact with the search loop, factories to help modelling, many samples, etc.\n\nChoco-solver is distributed under BSD 4-Clause License (Copyright (c) 1999-2025, IMT Atlantique).\n\nContact:\n- [Choco-solver on Discord](https://discord.gg/aH6zxa7e64)\n\n### Overview\n\n```java\n// 1. Create a Model\nModel model = new Model(\"my first problem\");\n// 2. Create variables\nIntVar x = model.intVar(\"X\", 0, 5);\nIntVar y = model.intVar(\"Y\", 0, 5);\n// 3. Create and post constraints thanks to the model\nmodel.element(x, new int[]{5,0,4,1,3,2}, y).post();\n// 3b. Or directly through variables\nx.add(y).lt(5).post();\n// 4. Get the solver\nSolver solver = model.getSolver();\n// 5. Define the search strategy\nsolver.setSearch(Search.inputOrderLBSearch(x, y));\n// 6. Launch the resolution process\nsolver.solve();\n// 7. Print search statistics\nsolver.printStatistics();\n```\n\n\u003ca name=\"doc\"\u003e\u003c/a\u003e\n## Documentation, Support and Issues\n\nThe [latest release](https://github.com/chocoteam/choco-solver/releases/latest) points to binaries and source code.\n\nYou can get help on our [google group](https://groups.google.com/forum/#!forum/choco-solver).\nMost support requests are answered very fast.\n\nUse the [issue tracker](https://github.com/chocoteam/choco-solver/issues) here on GitHub to report issues.\nAs far as possible, provide a [Minimal Working Example](https://en.wikipedia.org/wiki/Minimal_Working_Example).\n\n\u003ca name=\"con\"\u003e\u003c/a\u003e\n## Contributing\n\nAnyone can contribute to the project, from the **source code** to the **documentation**.\nIn order to ease the process, we established a [contribution guide](CONTRIBUTING.md)\nthat should be reviewed before starting any contribution as\nit lists the requirements and good practices to ease the contribution process.\n\n\nAnd thank you for giving back to choco-solver.\nPlease meet our team of cho-coders : \n\n- [@cprudhom](https://github.com/cprudhom) (Charles Prud'homme)\n- [@ArthurGodet](https://github.com/ArthurGodet) (Arthur Godet)\n- [@jgFages](https://github.com/jgFages) (Jean-Guillaume Fages)\n\nSupporting Choco with financial aid favors long-term support and development.\nOur expenses are varied: fees (GitHub organization, Domain name, etc), funding PhD students or internships, conferences, hardware renewal, ...\n\n[![Donate](https://img.shields.io/badge/Donate-PayPal-green.svg)](https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick\u0026hosted_button_id=2GHMNLTP4MCL8)\n\n\n\u003ca name=\"dow\"\u003e\u003c/a\u003e\n## Download and installation ##\n\nRequirements:\n* JDK 8+\n* maven 3+\n\nChoco-solver is available on [Maven Central Repository](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.choco-solver%22%20AND%20a%3A%22choco-solver%22),\nor directly from the [latest release](https://github.com/chocoteam/choco-solver/releases/latest).\n\n[Snapshot releases](https://oss.sonatype.org/content/repositories/snapshots/org/choco-solver/choco-solver/) are also available for curious.\n\nIn the following, we distinguish two usages of Choco:\n\n- as a standalone library: the jar file includes all required dependencies,\n- as a library: the jar file excludes all dependencies.\n\nThe name of the jar file terms the packaging:\n- `choco-solver-4.XX.Y-jar-with-dependencies.jar` or \n- `choco-solver-4.XX.Y.jar`.\n- `choco-parsers-4.XX.Y-jar-with-dependencies.jar` or\n- `choco-parsers-4.XX.Y-light.jar` or\n- `choco-parsers-4.XX.Y.jar`.\n\nThe `light` tagged jar file is a version of the `jar-with-dependencies` one with dependencies from this archive.\n\nA [Changelog file](./CHANGES.md) is maintained for each release.\n\n### Inside a maven project ###\n\nChoco is available on Maven Central Repository.\nSo you only have to edit your `pom.xml` to declare the following library dependency:\n\n```xml\n\u003cdependency\u003e\n   \u003cgroupId\u003eorg.choco-solver\u003c/groupId\u003e\n   \u003cartifactId\u003echoco-solver\u003c/artifactId\u003e\n   \u003cversion\u003e5.0.0-beta.1\u003c/version\u003e\n\u003c/dependency\u003e\n```\n\nNote that if you want to test snapshot release, you should update your `pom.xml` with :\n\n```xml\n\u003crepository\u003e\n    \u003cid\u003esonatype\u003c/id\u003e\n    \u003curl\u003ehttps://oss.sonatype.org/content/repositories/snapshots/\u003c/url\u003e\n    \u003csnapshots\u003e\n        \u003cenabled\u003etrue\u003c/enabled\u003e\n    \u003c/snapshots\u003e\n\u003c/repository\u003e\n```\n\n### As a stand-alone library ###\n\nThe jar file contains all required dependencies.\nThe next step is simply to add the jar file to your classpath of your application.\nNote that if your program depends on dependencies declared in the jar file,\nyou should consider using choco as a library.\n\n### As a library ###\n\nThe jar file does not contains any dependencies,\nas of being used as a dependency of another application.\nThe next step is to add the jar file to your classpath of your application and also add the required dependencies.\n\n\n### Dependencies ###\n\nTo declare continuous constraints, [Ibex-2.8.7](http://www.ibex-lib.org/download) needs to be installed\n(instructions are given on Ibex website).\n\n\n### Building from sources ###\n\nThe source of the released versions are directly available in the `Tag` section.\nYou can also download them using github features.\nOnce downloaded, move to the source directory then execute the following command\nto make the jar:\n\n    $ mvn clean package -DskipTests\n\nIf the build succeeded, the resulting jar will be automatically\ninstalled in your local maven repository and available in the `target` sub-folders.\n\n\n\n_Choco-solver dev team_\n","funding_links":["https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick\u0026hosted_button_id=2GHMNLTP4MCL8"],"categories":["Java","人工智能"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchocoteam%2Fchoco-solver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fchocoteam%2Fchoco-solver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchocoteam%2Fchoco-solver/lists"}