GeneticSharp is a fast, extensible, multi-platform and multithreading
The GNU Prolog native compiler
Triton is a dynamic binary analysis library
Mixed Integer Linear Programming (MILP) solver
Generate and solve Travelling Salesman Problem tasks
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
gdeptrace dependancy solver correct for pkg or make deps
A sudoku solver project built with Java with a user friendly interface
An implementation of Dantzig-Wolfe decomposition built upon GLPK
The easiest C++ way to deal with constraints !
EUgran solver for OpenFoam with new Boundary Conditions.
Genetic algorithms (GA) in C++