• Prolog

  • Referenced in 70 articles [sw06518]
  • Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... power of constraint programming to the declarativity of logic programming...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • pointer-manipulating imperative programs. The programmer may declare inductive datatypes and primitive recursive functions ... about the primitive recursive functions. An SMT solver is used to solve queries over data...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • theorem provers, logic programming languages, constraints solvers and decision procedures and to offer a modular ... least one or only one result. This declarative handling of non-determinism is part...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • Ibex is its ability to build strategies declaratively through the contractor programming paradigm ... also be used as a black-box solver. Two emblematic problems that can be addressed...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • structure. State and behavioural properties are described declaratively, by conjoining constraints. This makes it possible ... then applying state-of-the-art SAT solvers. It can analyze billions of states...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over finite domains ... Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers...
  • G12

  • Referenced in 11 articles [sw10112]
  • project: Mapping solver independent models to efficient solutions. The G12 project recently started by National ... periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving ... language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally...
  • Glop

  • Referenced in 1 article [sw21796]
  • wrapper: To use the Glop solver, you first declare it with the OR-Tools linear...
  • MiningZinc

  • Referenced in 4 articles [sw19070]
  • constraint-based mining. We introduce MiningZinc, a declarative framework for constraint-based data mining. MiningZinc ... compute solutions for the models. It is solver independent and supports both standard constraint solvers ... different algorithms and solvers. This leads to a unique combination of declarative modeling with high...
  • ASPIDE

  • Referenced in 14 articles [sw06309]
  • Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area ... program composition, debugging, profiling, database access, solver execution configuration and output-handling...
  • Cassowary

  • Referenced in 11 articles [sw36189]
  • within a rectangle if possible. Previous constraint solvers designed for user interface applications cannot handle ... systems of constraints arise often in natural declarative specifications. We describe Cassowary---an incremental algorithm...
  • FlopC++

  • Referenced in 9 articles [sw04915]
  • optimization problems to be modeled in a declarative style, similar to algebraic modeling languages, such ... Research (COIN-OR) and uses its Open Solver Interface (OSI) to achieve solver independence...
  • Cardinal

  • Referenced in 10 articles [sw06999]
  • over Conjunto, a previous available set constraint solver, which uses a more limited amount ... cardinality. The Cardinal version just released allows declaring union, minimum and maximum functions...
  • HYPROLOG

  • Referenced in 14 articles [sw02743]
  • additional built-in predicates and constraints solvers that may be available. Assumptions and abduction ... semantics is given which complies with standard declarative semantics for the “pure” sublanguages, while...
  • OPAL

  • Referenced in 9 articles [sw13119]
  • framework that allows to easily declare algorithms and the parameters on which they depend along ... solved. A black-box optimization solver takes care of the rest...
  • Asparagus

  • Referenced in 5 articles [sw08841]
  • late 1990s as a new declarative programming paradigm, having its roots in Nonmonotonic Reasoning, Deductive ... boosted by the emergence of highly efficient solvers...
  • JSetL

  • Referenced in 7 articles [sw29267]
  • pairs, … Moreover, JSetL can be used to declare and solve constraints on logical objects. There ... them. This means that the JSetL solver can be used as a non-deterministic engine...
  • Democratix

  • Referenced in 3 articles [sw27637]
  • task in voting and preference aggregation. The declarative nature of answer-set programming ... performance of state-of-the-art solvers render ASP very well-suited to tackle this...
  • D-FLAT

  • Referenced in 9 articles [sw09895]
  • decomposition and (ii) provide an interface for declarative specifications of dynamic programming algorithms. In this ... language. D-FLAT employs an ASP solver in order to compute the local solutions...
  • Merlin

  • Referenced in 6 articles [sw25230]
  • high-level policies using programs in a declarative language. The language includes logical predicates ... executed on network elements including a constraint solver that allocates bandwidth using parameterizable heuristics...