Alternatives and similar repositories for JMiniZinc

Users that are interested in JMiniZinc are comparing it to the libraries listed below

• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆732Updated 2 weeks ago
• radsz / jacop
  Java Constraint Programming solver
  ☆229Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated 2 months ago
• MiniZinc / mzn-challenge
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆14Updated 10 months ago
• xcsp3team / ACE
  Constraint Solver ACE
  ☆32Updated this week
• SDARG / opt4j
  Modular Java framework for meta-heuristic optimization
  ☆37Updated last year
• scipopt / JSCIPOpt
  Java interface for the SCIP Optimization Suite
  ☆68Updated 3 weeks ago
• quantego / clp-java
  Linear programming in Java
  ☆56Updated last year
• UniTime / cpsolver
  Local-search based solver of Constraint Satisfaction and Optimization Problems
  ☆74Updated 3 weeks ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Updated 2 months ago
• cicirello / Chips-n-Salsa
  A Java library of Customizable, Hybridizable, Iterative, Parallel, Stochastic, and Self-Adaptive Local Search Algorithms
  ☆70Updated this week
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆86Updated 5 years ago
• coin-or / jorlib
  Java Operations Research Library
  ☆70Updated 9 months ago
• huub-solver / huub
  A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
  ☆24Updated this week
• hdbeukel / james
  A JAva MEtaheuristics Search framework
  ☆30Updated 3 years ago
• TimefoldAI / timefold-quickstarts
  Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance schedu…
  ☆447Updated last week
• umontreal-simul / ssj
  Stochastic Simulation in Java
  ☆126Updated 5 months ago
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 3 weeks ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆97Updated last week
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated 7 months ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆111Updated last month
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆161Updated last week
• STAMP-project / pitmp-maven-plugin
  Maven plugin to handle multi module projects for PiTest
  ☆49Updated 2 years ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆119Updated last year
• DevBoost / JaMoPP
  JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …
  ☆18Updated 3 years ago
• GMUEClab / ecj
  ECJ Evolutionary Computation Toolkit
  ☆126Updated 2 years ago
• evernat / dead-code-detector
  Dead Code Detector finds never used code in Java applications
  ☆32Updated 6 years ago