flopt
latest
Contents:
Installation
Tutorial
Case Studies
Sudoku
Travelling salesman problem
Max Satisfiability Problem
Number Partitioning
Maximum-Cut
Solvers
API Reference
Internal Reference
Recipes
flopt
Case Studies
Edit on GitHub
Case Studies
Sudoku
Travelling salesman problem
Max Satisfiability Problem
Number Partitioning
Maximum-Cut