• CPLEX

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

  • Referenced in 21 articles [sw06307]
  • JaCoP is a Java Constraint Programming solver. It...
  • MAHA

  • Referenced in 7 articles [sw15809]
  • MAHA: A program for datapath synthesis. MAHA is...
  • Refal

  • Referenced in 45 articles [sw27634]
  • Refal is a functional programming language in which...