• CLAIRE

  • Referenced in 34 articles [sw02583]
  • CLAIRE: Combining sets, search and rules to better...
  • CPLEX

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

  • Referenced in 91 articles [sw04150]
  • CSPLib is a library of test problems for...
  • SAS

  • Referenced in 1555 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • Cardinal

  • Referenced in 10 articles [sw06999]
  • Cardinal: a finite sets constraint solver. In this...
  • CaSPER

  • Referenced in 6 articles [sw08629]
  • CaSPER: A programming environment for development and integration...
  • SICStus

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