• CPLEX

  • Referenced in 2773 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...
  • SLIDE

  • Referenced in 8 articles [sw08449]
  • SLIDE: A Useful Special Case of the CARDPATH...
  • SICStus

  • Referenced in 109 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...
  • HotCRP

  • Referenced in 1 article [sw13264]
  • HotCRP is conference management software: it accepts paper...
  • Easychair

  • Referenced in 45 articles [sw13265]
  • EasyChair is a conference management system that is...
  • 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...