Skip to content
#

milp-optimisation

Here are 21 public repositories matching this topic...

Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.

  • Updated Dec 31, 2025
  • Python

This notebook serves as an introduction to Linear Programming and MILP with Python, covering both the concepts and practical applications through various popular optimization problems.

  • Updated May 13, 2024
  • Jupyter Notebook

Improving the scheduling of railway maintainance projects by minimizing passengers delays subject to event requests of railway operators through mixed integer linear programming optimisation.

  • Updated Jun 11, 2025
  • Jupyter Notebook

Automated formal verification tool for vision classifiers using CLIP embeddings and MILP optimization. Converts OWL ontologies into ConSpec specifications and provides mathematical guarantees about model behavior in safety-critical AI systems.

  • Updated Nov 21, 2025
  • Python

Improve this page

Add a description, image, and links to the milp-optimisation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the milp-optimisation topic, visit your repo's landing page and select "manage topics."

Learn more