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

2D triangulations
 Referenced in 36 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 34 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 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 quantifierfree 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 inputmatrix formats and range constraints on coefficients. Two recent additions...

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

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

FlatZinc
 Referenced in 8 articles
[sw06262]
 Constraint Programming community. FlatZinc is a lowlevel 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...