linear-integer-programming

There are 0 repository under linear-integer-programming topic.

• LiangliangNan / PolyFit

  Polygonal Surface Reconstruction from Point Clouds

  hypothesis-and-selectionlinear-integer-programmingpiecewise-planar-objectprimitive-extractionsharp-featuresurface-reconstructionurban-modelingurban-reconstruction
  Language:C++ 681

• paultristanwagner / satisfiability-checking

  Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

  javasat-solversmt-solverlogicsimplexbranch-and-boundtseitin-transformationdpllcdcleqliaequfcylindrical-algebraic-decompositionnon-linearnranon-linear-optimizationbitvectorlinear-integer-programminglinear-programmingsatisfiability-modulo-theories
  Language:Java 4

• RaffaDNDM / Operations-Research-2

  Algorithms of integer linear programming applied to TSP and written report about them.

  clinear-integer-programmingcplextsplib
  Language:C 0

• zuhdi00 / TLBO

  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.

  linear-integer-programmingmathematical-programmingoptimization-algorithms
  Language:C++ 0