• Numerica

  • Referenced in 46 articles [sw21227]
  • textbooks and scientific papers. The constraint-solving algorithm of Numerica is based on a combination...
  • Cassowary

  • Referenced in 11 articles [sw36189]
  • dual simplex method, which can solve such systems of constraints efficiently. We have implemented ... algorithm as part of a constraint-solving toolkit. We discuss the implementation of the toolkit...
  • Helios

  • Referenced in 11 articles [sw01440]
  • find all isolated solutions in constraint-solving problems and all global optima in optimization problems...
  • IDP3

  • Referenced in 10 articles [sw22941]
  • predicate logic and allows them to solve a wide range of search problems. Apart from ... strong interest in declarative modeling and constraint-solving as opposed to algorithmic approaches. The paper...
  • CompoSAT

  • Referenced in 1 article [sw38502]
  • which interposes itself between Alloy’s constraint-solving and presentation stages to produce ensembles...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CoreASM

  • Referenced in 14 articles [sw01936]
  • CoreASM plug-in architecture. Abstract State Machines are...
  • Rodin

  • Referenced in 86 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • ProB

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

  • Referenced in 26 articles [sw07090]
  • Kodkod: A relational model finder. The key design...
  • AProVE

  • Referenced in 160 articles [sw07831]
  • AProVE 1.2: Automatic Termination Proofs in the Dependency...
  • TLC

  • Referenced in 14 articles [sw09530]
  • TLC is a model checker for specifications written...
  • CiME

  • Referenced in 38 articles [sw09970]
  • CiME is a rewriting toolbox. Distributed since 1996...
  • MU-TERM

  • Referenced in 34 articles [sw10015]
  • mu-term: A Tool for Proving Termination of...
  • REVE

  • Referenced in 68 articles [sw28907]
  • Computer experiments with the REVE term rewriting system...