• CPLEX

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

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • Choco

  • Referenced in 65 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • SICStus

  • Referenced in 109 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • Design, implementation, and evaluation of the constraint language...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • FaCiLe: A functional constraint library. FaCiLe is a...