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

CUTE
 Referenced in 65 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...

2D triangulations
 Referenced in 37 articles
[sw11159]
 some of them handle intersections between input constraints segment while others...

MINION
 Referenced in 50 articles
[sw10176]
 generalpurpose 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 35 articles
[sw07263]
 pathbounded modelchecking) 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 12 articles
[sw36209]
 autoencoder’s parameters to respect autoregressive constraints: each input is reconstructed only from previous inputs...

StrSolve
 Referenced in 6 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...

BaPCod
 Referenced in 19 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...

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

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

jCUTE
 Referenced in 13 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...

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

Glmnet
 Referenced in 11 articles
[sw25026]
 options such as sparse inputmatrix formats and range constraints on coefficients. Two recent additions...

Amulet
 Referenced in 3 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...

BOSSQuattro
 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...

mystic
 Referenced in 5 articles
[sw39790]
 models may have hundreds of input parameters, hundreds of constraints, and may require execution times...

ClustGeo
 Referenced in 8 articles
[sw20893]
 algorithm including spatial/geographical constraints. Two dissimilarity matrices D0 and D1 are inputted, along with ... second matrix gives the dissimilarities in the ”constraint space”. The criterion minimized at each stage...

FlatZinc
 Referenced in 9 articles
[sw06262]
 Constraint Programming community. FlatZinc is a lowlevel solver input language that is the target...