• CUTE

  • Referenced in 65 articles [sw00177]
  • inputs. Moreover, an efficient constraint solver is proposed to facilitate incremental generation of such test...
  • Skyblue

  • Referenced in 11 articles [sw07280]
  • method from each constraint.SkyBlue is an incremental constraint solver that uses local propagation to maintain...
  • SATIRE

  • Referenced in 39 articles [sw04648]
  • engine. We introduce SATIRE, a new satisfiability solver that is particularly suited to verification ... incrementally solving sets of related problems, and the ability to handle non-CNF constraints ... effectiveness of these additions to classical satisfiability solver...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • analyze a model incrementally, with Alcoa investigating the consequences of whatever constraints are given. Alcoa ... translating constraints to boolean formulas, and then applying state-of-the-art SAT solvers...
  • Houria III

  • Referenced in 1 article [sw00414]
  • existing solvers for satisfying constraint hierarchy impose that every class of soft constraints labeled ... presenting an incremental solver that proposes extended definitions of constraint hierarchy. This solver handles different...
  • HiRise

  • Referenced in 7 articles [sw36184]
  • Scalable Linear Constraint Solver for User Interface Construction. This paper proposes an algorithm for satisfying ... numerical method that incrementally obtains the LU decompositions of linear constraint systems. To realize this ... technique for analyzing hierarchical systems of linear constraints. In addition, it improves performance by adopting ... disjointness of constraint systems. Based on this algorithm, the HiRise constraint solver has been designed...
  • Cassowary

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

  • Referenced in 10 articles [sw13643]
  • targeted fashion. While the power of incremental SAT solvers has been amply demonstrated ... secondary structure prediction problem. The constraints that make up this problem fall into two categories...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated ... implication, in conjunction with new constraint operations such as constraint entailment and generalization. These combinators ... issues such as the definition of nonprimitive constraints and disjunctions to be tackled ... algorithms based on AC-5 [40], and incremental implementation of the combinators. Results on numerous...
  • CPBPV

  • Referenced in 5 articles [sw00164]
  • incrementally prunes execution paths early by detecting that the constraint store is not consistent. CPBPV ... rich language of constraint programming to express the constraint store. Finally, CPBPV is parameterized with ... list of solvers which are tried in sequence, starting with the least expensive and less...
  • PyMiniSolvers

  • Referenced in 1 article [sw25462]
  • MiniSat and MiniCard constraint solvers. It accesses the solvers via shared libraries, reducing overhead ... efficient incremental solving. Its interfaces closely match the interfaces of each tool’s Solver class ... powerful access to most of the solvers’ standard capabilities. Additionally, an extended ”SubsetSolver” interface ... tool, simplifying reasoning about subsets of a constraint set (e.g., solving arbitrary subsets...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • realize incremental solving, solution enumeration, and dynamic addition and/or removal of constraints. In Scarab ... integer variables and arithmetic constraints, and all of them are encoded into SAT without ... need of developing dedicated encoder. SAT solvers are then used for finding solutions...
  • gini

  • Referenced in 1 article [sw16095]
  • Gini solves the problem of efficient Boolean constraint propagation in a garbage collected language, giving ... Gini provides a CDCL based solver and some concurrent utilities on top of it. Additionally ... provides a reference implementation of the compressed incremental sat protocol (CRISP), which enables the communication...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...