• SCIP

  • Referenced in 459 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • CPLEX

  • Referenced in 2551 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 501 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • VIPR

  • Referenced in 3 articles [sw18034]
  • VIPR. Verifying Integer Programming Results. VIPR is new...