• Genocop

  • Referenced in 1089 articles [sw04707]
  • input parameters) of a function; additional linear constraints (equations and inequalities) can be specified...
  • CUTE

  • Referenced in 64 articles [sw00177]
  • using such a combination to generate test inputs to explore all feasible execution paths ... develops a method to represent and track constraints that capture the behavior of a symbolic ... unit with memory graphs as inputs. Moreover, an efficient constraint solver is proposed to facilitate...
  • MINION

  • Referenced in 50 articles [sw10176]
  • general-purpose constraint solver, with an expressive input language based on the common constraint modelling...
  • PBS

  • Referenced in 38 articles [sw04622]
  • Reads as input both: CNF constraints, PB constraints (e.g. -2x + 3y + . + 6z <= 7, where...
  • Pex

  • Referenced in 34 articles [sw07263]
  • path-bounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns ... traces. Pex uses a constraint solver to produce new test inputs which exercise different program...
  • SBSAT

  • Referenced in 10 articles [sw00828]
  • propositional inputs, including CNF formulas, but particularly sets of arbitrary boolean constraints, represented as BDDs ... fast inferences based upon any single input constraint. It also simplifies the set of constraints...
  • MADE

  • Referenced in 10 articles [sw36209]
  • autoencoder’s parameters to respect autoregressive constraints: each input is reconstructed only from previous inputs...
  • BaPCod

  • Referenced in 17 articles [sw09871]
  • method: the input is the set of constraints and variables ... formulation; the user specifies which of these constraints and variables define the subsystems on which ... automatically generated by the code, without any input from the user to define master columns...
  • StrSolve

  • Referenced in 5 articles [sw21857]
  • This separation enables independent improvement of string constraint solving algorithms and reduces client effort ... respect to the size of the input constraints, especially compared to other contemporary techniques...
  • STP

  • Referenced in 41 articles [sw34795]
  • Simple Theorem Prover. STP is a constraint solver for the theory of quantifier-free bitvectors ... Python; Supports multiple query input formats; Open source and MIT licensed...
  • MARKAL

  • Referenced in 20 articles [sw11178]
  • variety of constraints and policy assumptions. The syntax, notation, formulation and input data requirements...
  • ARGONAUT

  • Referenced in 7 articles [sw20651]
  • with a large number of input variables and constraints. The performance of the presented framework...
  • jCUTE

  • Referenced in 11 articles [sw26692]
  • execution and automatic constraint solving. Symbolic execution allows jCUTE to discern inputs that lead down ... execution helps it overcome limitations of the constraint solver, like the inability to analyze system...
  • Glmnet

  • Referenced in 10 articles [sw25026]
  • options such as sparse input-matrix formats and range constraints on coefficients. Two recent additions...
  • BOSS-Quattro

  • Referenced in 18 articles [sw11037]
  • suitable response according to the specifications (constraint) ? What’s the impact of some parameters ... design criteria values (sensitivity analysis) ? Which input parameters values lead to an optimum design according...
  • Amulet

  • Referenced in 2 articles [sw36186]
  • Amulet uses new models for objects, constraints, animation, input, output, commands, and undo. The object ... instances or between methods and data. The constraint system allows any value of any object ... computed by arbitrary code and supports multiple constraint solvers. Animations can be attached to existing ... objects with a single line of code. Input from the user is handled by ”interactor...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems ... differing domains of applications, foundational assumptions, and input languages, which makes them non-interoperable...
  • FlatZinc

  • Referenced in 8 articles [sw06262]
  • Constraint Programming community. FlatZinc is a low-level solver input language that is the target...
  • SUMO

  • Referenced in 25 articles [sw12763]
  • script, ...) within the accuracy and time constraints set by the user. In doing ... autonomous as possible, requiring no user input besides some initial configuration...