androidconstraintlayout 
1.0.22 
2 
0.00 
ConstraintLayout for Android (includes solver) 
sjakub

cuelangcuegit 
r157.ad10d9d1 
0 
0.00 
The CUE Data Constraint Language 
cbrgm

digilentxdcgit 
r36.ad3ecaf1 
0 
0.00 
A collection of Master XDC board constraints files for Digilent FPGA and Zynq boards 
orphan

eclipseclp 
7.0.481 
3 
0.00 
Constraint Logic Programming System 
kaptoxic

emeus 
1.0+5d38cc31 
0 
0.00 
Constraintbased layout manager for GTK+ 
tallero

epkill 
1.21 
1 
0.00 
procps utilties with environment constraints 
maandree

gaolgit 
r6.6e6cd9a1 
0 
0.00 
GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers. 
bburlacu

gecode 
6.2.01 
9 
0.00 
The Generic Constraint Development Environment 
ItachiSan

hppconstraints 
3.21 
0 
0.00 
Definition of basic geometric constraints for motion planning 
Nim65s

islgit 
0.20.52.g44534fc71 
2 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints (development version) 
RavuAlHemio

isl14 
0.141 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
muhviehstarr

isl15 
0.151 
55 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
Beacon515L

isl16 
0.161 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
muhviehstarr

isl17 
0.17.11 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
muhviehstarr

isl19 
0.191 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
muhviehstarr

lib32isl 
0.22.11 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints 
adsun

lib32islgit 
0.16.1.20.gee54b481 
0 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints (development version) 
RavuAlHemio

libminizinc 
2.3.11 
5 
0.00 
MiniZinc is a modelling language for constraint programming problems 
orphan

minion 
2.03 
1 
0.00 
A relatively new constraint solver which is fast and scales well as problem size increases 
thor77

perldeclareconstraintssimple 
0.031 
0 
0.00 
Declarative Validation of Data Structures 
jnbek

perlmoosexmetatypeconstraintforcecoercion 
0.011 
0 
0.00 
Force coercion when validating type constraints 
jnbek

perlmoosexmethodsignatures 
0.471 
1 
0.00 
Method declarations with type constraints and no source filter 
jnbek

perlmoosextypescommon 
0.0010131 
0 
0.00 
A library of commonly used type constraints 
jnbek

perlmoosextypesdatetime 
0.132 
3 
0.00 
DateTime related constraints and coercions for 
bidulock

perlmoosextypesstructured 
0.301 
2 
0.00 
Structured Type Constraints for Moose 
jnbek

perlrnablueprint 
1.3.01 
0 
0.00 
Library for uniform sampling of RNA sequences given structural and sequence constraints. 
fncnt

perltypetie 
0.0091 
0 
0.00 
tie a variable to a type constraint 
jahiy

perltypetinyxs 
0.0121 
0 
0.00 
provides an XS boost for some of Type::Tiny's builtin type constraints 
jahiy

perltypesdatetime 
0.0011 
0 
0.00 
type constraints and coercions for datetime objects 
jahiy

perltypesencodings 
0.0021 
0 
0.00 
type constraints for Bytes and Chars 
jahiy

perltypesuri 
0.0061 
1 
0.00 
type constraints and coercions for URIs 
nous

perltypesuuid 
0.0041 
1 
0.00 
type constraints for UUIDs 
nous

perltypesxsd 
0.0051 
0 
0.00 
type constraints based on XML schema datatypes 
jahiy

perltypesxsdlite 
0.0051 
0 
0.00 
type constraints based on a subset of XML schema datatypes 
jahiy

pythonclaripygit 
8.19.2.4.r734.050ffe41 
0 
0.00 
An abstraction layer for constraint solvers. 
lockshaw

pythonconstraint 
1.4.01 
0 
0.00 
Module implementing support for handling CSPs (Constraint Solving Problems) over finite domain 
iyanmv

pythonpybobyqa 
1.20 
0 
0.00 
Pythonbased DerivativeFree Optimization with Bound Constraints 
wjhandley

pythonrnablueprint 
1.3.01 
0 
0.00 
Library for uniform sampling of RNA sequences given structural and sequence constraints. 
fncnt

python2claripy 
7.8.2.211 
0 
0.00 
An abstraction layer for constraint solvers 
oneup

rhea 
0.2.41 
0 
0.00 
A constraint solver based on Cassowary 
jrbuchanan2

rnablueprint 
1.3.01 
0 
0.00 
Library for uniform sampling of RNA sequences given structural and sequence constraints. 
fncnt

rubydrytypes 
0.9.31 
0 
0.00 
Type system for Ruby supporting coercions, constraints and complex types like structs, value objects, enums etc. 
supermario

rubysemverse 
2.0.03 
0 
0.00 
An elegant library for representing and comparing SemVer versions and constraints 
tlvince

savilerow 
1.6.51 
1 
0.00 
A modelling assistant for CP 
thor77

surfaceevolver 
2.702 
3 
0.00 
Interactive program for the modelling of liquid surfaces shaped by various forces and constraints 
Francois_B

vislcg3 
1.0.0~r122002 
4 
0.00 
Compiler and parser for Constraint Grammar (CG), a paradigm for robust, rulebased Natural Language Parsing. 
unhammer

blenderpluginbulletconstraintsbuilder 
1.0_r277.2fd37351 
2 
0.00 
This Blender Addon connect rigid bodies via constraints in a physical plausible way 
bartus

mingww64isl 
0.211 
2 
0.00 
Library for manipulating sets and relations of integer points bounded by linear constraints (mingww64) 
adsun

luacassowary 
2.28 
1 
0.01 
The cassowary constraint solver 
caleb

lua51cassowary 
2.28 
1 
0.01 
The cassowary constraint solver 
caleb
