Polygonal Surface Reconstruction from Point Clouds
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Algorithms of integer linear programming applied to TSP and written report about them.
Project for the course of Decision Support Systems and Analytics at Roma Tre University.
TLBO is a powerful and versatile optimization algorithm that can be used to solve a wide variety of problems. It is a good choice for problems where simplicity and ease of implementation are important.
Add a description, image, and links to the linear-integer-programming topic page so that developers can more easily learn about it.
To associate your repository with the linear-integer-programming topic, visit your repo's landing page and select "manage topics."