Projects in Awesome Lists tagged with ilp-solver
A curated list of projects in awesome lists tagged with ilp-solver .
https://github.com/lapo-luchini/javailp
Mirror of https://sourceforge.net/p/javailp/
Last synced: 24 Jun 2026
https://github.com/harunaadoga/gurobi_optimization
Gurobi ILP Optimization Examples
computer-science gurobi-optimization gurobipy ilp ilp-solver jupiter-notebook optimization-algorithms python
Last synced: 17 Feb 2026
https://github.com/jgaltidor/sudoku_solver_service_inez
A sudoku solver web service utilizing SMT/ILP solver Inez
docker docker-image dockerfile formal-methods http-server ilp-solver java json maven nanohttpd ocaml reactjs smt-solver web-application
Last synced: 11 Apr 2026
