• JSetL

  • Referenced in 7 articles [sw29267]
  • JSetL is a Java library that has been developed at the University of Parma (Italy ... since 2002. JSetL is released under the GPL 3.0 license. JSetL allows the user ... inside the popular Java programming language. Using JSetL the user can create partially specified ... maps, restricted intensional sets, logical pairs, … Moreover, JSetL can be used to declare and solve...
  • CLAIRE

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

  • Referenced in 153 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...
  • Choco

  • Referenced in 65 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • JaCoP

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

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • FaCiLe: A functional constraint library. FaCiLe is a...