From ac99233e10c9f3c4df71e6a956d2c0ef1ed58e13 Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Thu, 30 Apr 2015 11:14:12 +0200 Subject: [PATCH 1/7] Add the section: Constraint Satisfaction Problem (CSP) Solver --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index dc34089..501bd9d 100644 --- a/README.md +++ b/README.md @@ -9,6 +9,7 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o - [Code Analysis](#code-analysis) - [Compiler-compiler](#compiler-compiler) - [Configuration](#configuration) + - [Constraint Satisfaction Problem (CSP) Solver](#constraint-satisfaction-problem-csp-solver) - [Continuous Integration](#continuous-integration) - [Database](#database) - [Data structures](#data-structures) @@ -100,6 +101,13 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o * [config](https://github.com/typesafehub/config) - Configuration library for JVM languages. +## Constraint Satisfaction Problem (CSP) Solver + +* [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems (CSP). +* [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. +* [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver. +* [Sat4J](http://www.sat4j.org/) - A state-of-the-art SAT solver for boolean and optimization problems in Java. + ## Continuous Integration *Tools which support continuously building, testing and releasing applications.* From 6d7b403c0dd2da19716e49f0b9a3fb5fe57674de Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Thu, 30 Apr 2015 11:40:56 +0200 Subject: [PATCH 2/7] Include the JScience library in the Science section --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 501bd9d..e1a3eaf 100644 --- a/README.md +++ b/README.md @@ -394,6 +394,7 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o *Libraries for scientific computing and analysis.* +* [JScience](http://jscience.org/) - Provides a set of classes to work with scientific measurements and units. * [SCaVis](http://jwork.org/scavis/) - Environment for scientific computation, data analysis and data visualization. ## Search From 086443ae17e75dbb3d5d8c4910da0ab177832d90 Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Thu, 30 Apr 2015 11:55:12 +0200 Subject: [PATCH 3/7] =?UTF-8?q?Include=20the=20libraries:=20JADE,=20JScien?= =?UTF-8?q?ce,=20and=20Prot=C3=A9g=C3=A9=20in=20the=20Science=20section?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 501bd9d..2675f13 100644 --- a/README.md +++ b/README.md @@ -394,6 +394,9 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o *Libraries for scientific computing and analysis.* +* [JADE](http://jade.tilab.com/) - Providers a framework and an environment to build and to debug multi-agent systems. +* [JScience](http://jscience.org/) - Provides a set of classes to work with scientific measurements and units. +* [Protégé](http://protege.stanford.edu/) - Provides an ontology editor and a framework to build knowledge-based systems. * [SCaVis](http://jwork.org/scavis/) - Environment for scientific computation, data analysis and data visualization. ## Search From 04ae4ab26dc6db1ed07b1bde839e092daf41e25c Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Thu, 30 Apr 2015 12:17:44 +0200 Subject: [PATCH 4/7] Include the Oracle ADF framework at the Web frameworks section and the JDeveloper at the IDE section --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 2675f13..2f27912 100644 --- a/README.md +++ b/README.md @@ -247,6 +247,7 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o * [Eclipse](http://www.eclipse.org/) - Does a lot of things in the background. Noteworthy are its large amount of plugins. * [IntelliJ IDEA](http://www.jetbrains.com/idea/) - Supports a lot of JVM languages and provides good options for Android development. The commercial edition targets the enterprise sector. +* [JDeveloper](http://www.oracle.com/technetwork/developer-tools/jdev/overview/index-094652.html) - Providers a complete environment to write Java SE and EE applications, as well as to develop SOA applications based on the [Oracle SOA Suite](http://www.oracle.com/us/products/middleware/soa/suite/overview/index.html). * [NetBeans](https://netbeans.org/) - Provides integration for several Java SE and EE features starting with database access and servers to HTML5 and AngularJS. ## Imagery @@ -491,6 +492,7 @@ h * [Google Web Toolkit](http://www.gwtproject.org/) - Toolbox which includes a Java-to-JavaScript compiler for client-side code, XML parser, API for RPC, JUnit integration, internationalization support and widgets for the GUI. * [Grails](https://grails.org/) - Groovy framework with the aim to provide a highly productive environment by favoring convention over configuration, no XML and support for mixins. * [Ninja](http://www.ninjaframework.org/) - Full stack web framework for Java. Rock solid, fast and super productive. +* [Oracle ADF](http://www.oracle.com/technetwork/developer-tools/adf/overview/index.html) - Providers a free and a commercial version framework to write web and mobile applications, following an event-driven approach. * [Play](http://www.playframework.com/) - Uses convention over configuration, hot code reloading and display of errors in the browser. * [PrimeFaces](http://primefaces.org/) - JSF framework which has a free and a commercial version with support. Provides several frontend components. * [Ratpack](http://www.ratpack.io/) - A set of Java libraries that facilitate fast, efficient, evolvable and well tested HTTP applications. From 05c4b9f3fe79805e1b950dfd05c2900c51a0c4fa Mon Sep 17 00:00:00 2001 From: "alessandro.leite" Date: Fri, 1 May 2015 22:15:22 +0200 Subject: [PATCH 5/7] Remove JDeveloper and Oracle ADF; and adjust the Utility section MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * Move JScience, JADE and Protégé to Utility section * Sort the entries of the Utility section * Add a period to the args4j entry --- README.md | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index 2f27912..1754a8c 100644 --- a/README.md +++ b/README.md @@ -247,7 +247,6 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o * [Eclipse](http://www.eclipse.org/) - Does a lot of things in the background. Noteworthy are its large amount of plugins. * [IntelliJ IDEA](http://www.jetbrains.com/idea/) - Supports a lot of JVM languages and provides good options for Android development. The commercial edition targets the enterprise sector. -* [JDeveloper](http://www.oracle.com/technetwork/developer-tools/jdev/overview/index-094652.html) - Providers a complete environment to write Java SE and EE applications, as well as to develop SOA applications based on the [Oracle SOA Suite](http://www.oracle.com/us/products/middleware/soa/suite/overview/index.html). * [NetBeans](https://netbeans.org/) - Provides integration for several Java SE and EE features starting with database access and servers to HTML5 and AngularJS. ## Imagery @@ -395,9 +394,6 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o *Libraries for scientific computing and analysis.* -* [JADE](http://jade.tilab.com/) - Providers a framework and an environment to build and to debug multi-agent systems. -* [JScience](http://jscience.org/) - Provides a set of classes to work with scientific measurements and units. -* [Protégé](http://protege.stanford.edu/) - Provides an ontology editor and a framework to build knowledge-based systems. * [SCaVis](http://jwork.org/scavis/) - Environment for scientific computation, data analysis and data visualization. ## Search @@ -468,12 +464,15 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o *Libraries which provide general utility functions.* -* [args4j](http://args4j.kohsuke.org/) - Command line arguments parser -* [JCommander](http://jcommander.org/) - Command line arguments parser; its been around, active, and maintained by the creator since 2010. * [Apache Commons](http://commons.apache.org/) - Provides different general purpose functions like configuration, validation, collections, file upload or XML processing. +* [args4j](http://args4j.kohsuke.org/) - Command line arguments parser. * [Guava](https://github.com/google/guava) - Collections, caching, primitives support, concurrency libraries, common annotations, string processing, I/O, and so forth. +* [JADE](http://jade.tilab.com/) - Providers a framework and an environment to build and to debug multi-agent systems. * [javatuples](http://www.javatuples.org/) - Does what it says, although the concept of tuples in general is debatable. +* [JCommander](http://jcommander.org/) - Command line arguments parser; its been around, active, and maintained by the creator since 2010. * [JGraphT](http://jgrapht.org/) - A graph library that provides mathematical graph-theory objects and algorithms. +* [JScience](http://jscience.org/) - Provides a set of classes to work with scientific measurements and units. +* [Protégé](http://protege.stanford.edu/) - Provides an ontology editor and a framework to build knowledge-based systems. ## Web Crawling @@ -492,7 +491,6 @@ h * [Google Web Toolkit](http://www.gwtproject.org/) - Toolbox which includes a Java-to-JavaScript compiler for client-side code, XML parser, API for RPC, JUnit integration, internationalization support and widgets for the GUI. * [Grails](https://grails.org/) - Groovy framework with the aim to provide a highly productive environment by favoring convention over configuration, no XML and support for mixins. * [Ninja](http://www.ninjaframework.org/) - Full stack web framework for Java. Rock solid, fast and super productive. -* [Oracle ADF](http://www.oracle.com/technetwork/developer-tools/adf/overview/index.html) - Providers a free and a commercial version framework to write web and mobile applications, following an event-driven approach. * [Play](http://www.playframework.com/) - Uses convention over configuration, hot code reloading and display of errors in the browser. * [PrimeFaces](http://primefaces.org/) - JSF framework which has a free and a commercial version with support. Provides several frontend components. * [Ratpack](http://www.ratpack.io/) - A set of Java libraries that facilitate fast, efficient, evolvable and well tested HTTP applications. From fdaadad7b96abf2e2945e4bcc1c6ba1d1c23dc2f Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Thu, 7 May 2015 16:35:12 +0200 Subject: [PATCH 6/7] Remove the CSP abbreviation --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 1754a8c..ef5d94b 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o - [Code Analysis](#code-analysis) - [Compiler-compiler](#compiler-compiler) - [Configuration](#configuration) - - [Constraint Satisfaction Problem (CSP) Solver](#constraint-satisfaction-problem-csp-solver) + - [Constraint Satisfaction Problem Solver](#constraint-satisfaction-problem-solver) - [Continuous Integration](#continuous-integration) - [Database](#database) - [Data structures](#data-structures) @@ -101,9 +101,9 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o * [config](https://github.com/typesafehub/config) - Configuration library for JVM languages. -## Constraint Satisfaction Problem (CSP) Solver +## Constraint Satisfaction Problem Solver -* [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems (CSP). +* [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems. * [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. * [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver. * [Sat4J](http://www.sat4j.org/) - A state-of-the-art SAT solver for boolean and optimization problems in Java. From 1d530fcf966db05a6a5e3445d8d156fb806f07d8 Mon Sep 17 00:00:00 2001 From: Alessandro Leite Date: Fri, 8 May 2015 18:26:35 +0200 Subject: [PATCH 7/7] Add a brief description to the Constraint Satisfaction Problem Solver section --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ef5d94b..a65b398 100644 --- a/README.md +++ b/README.md @@ -103,6 +103,8 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o ## Constraint Satisfaction Problem Solver +*Libraries that help on implementing optimization and satisfiability problems.* + * [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems. * [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. * [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver.