From 1d530fcf966db05a6a5e3445d8d156fb806f07d8 Mon Sep 17 00:00:00 2001
From: Alessandro Leite <alessandro.leite@alessandro.cc>
Date: Fri, 8 May 2015 18:26:35 +0200
Subject: [PATCH] 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.