The Operator Splitting QP Solver
Python Optimal Transport
Python package for AutoML on Tabular Data with Feature Engineering
fast C++ library for linear algebra & scientific computing
ECLiPSe Constraint Logic Programming System
The GNU Prolog native compiler
Sokoban solver written in Ada
Framework for intelligent service-based networks. Mobile compatible.
Optimal control, trajectory optimization, model-predictive control.
Parallel Optimization Library for Java
Neural network library for developers
The easiest C++ way to deal with constraints !
An AI program that deploys genetic programming
Dynamic Bayesian Network Library