Results 1 to 4 of 4
Sort by:

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