YourKit | Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit .NET Profiler. |
Sat4j | Lightweight constraint programming with a SAT solver. |
JaCoP | JaCoP is a Finite Domain constraint solver |
JavaBDD | JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). |
ChocoSolver | Choco is Java Solver |
ANTLR v3 | ANTLR, is a language tool |