You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -101,6 +102,15 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o
101
102
102
103
*[config](https://github.com/typesafehub/config) - Configuration library for JVM languages.
103
104
105
+
## Constraint Satisfaction Problem Solver
106
+
107
+
*Libraries that help on implementing optimization and satisfiability problems.*
108
+
109
+
*[Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems.
110
+
*[JaCoP](https://github.com/radsz/jacop/) - A constraint programming solver that includes an interface for the [FlatZinc language](https://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf), enabling it to execute [MiniZinc](http://www.minizinc.org/) models.
111
+
*[OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver.
112
+
*[Sat4J](http://www.sat4j.org/) - A state-of-the-art SAT solver for boolean and optimization problems in Java.
113
+
104
114
## Continuous Integration
105
115
106
116
*Tools which support continuously building, testing and releasing applications.*
@@ -470,12 +480,15 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o
470
480
471
481
*Libraries which provide general utility functions.*
472
482
473
-
*[args4j](http://args4j.kohsuke.org/) - Command line arguments parser
474
-
*[JCommander](http://jcommander.org/) - Command line arguments parser; its been around, active, and maintained by the creator since 2010.
475
483
*[Apache Commons](http://commons.apache.org/) - Provides different general purpose functions like configuration, validation, collections, file upload or XML processing.
484
+
*[args4j](http://args4j.kohsuke.org/) - Command line arguments parser.
476
485
*[Guava](https://github.com/google/guava) - Collections, caching, primitives support, concurrency libraries, common annotations, string processing, I/O, and so forth.
486
+
*[JADE](http://jade.tilab.com/) - Providers a framework and an environment to build and to debug multi-agent systems.
477
487
*[javatuples](http://www.javatuples.org/) - Does what it says, although the concept of tuples in general is debatable.
488
+
*[JCommander](http://jcommander.org/) - Command line arguments parser; its been around, active, and maintained by the creator since 2010.
478
489
*[JGraphT](http://jgrapht.org/) - A graph library that provides mathematical graph-theory objects and algorithms.
490
+
*[JScience](http://jscience.org/) - Provides a set of classes to work with scientific measurements and units.
491
+
*[Protégé](http://protege.stanford.edu/) - Provides an ontology editor and a framework to build knowledge-based systems.
0 commit comments