Results 1 to 8 of 8
Sort by:

  • 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...