46 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
cuelang-cue-git r157.ad10d9d-1 0 0.00 The CUE Data Constraint Language cbrgm
digilent-xdc-git r36.ad3ecaf-1 0 0.00 A collection of Master XDC board constraints files for Digilent FPGA and Zynq boards orphan
eclipse-clp 7.0.48-1 3 0.00 Constraint Logic Programming System kaptoxic
epkill 1.2-1 1 0.00 procps utilties with environment constraints maandree
gaol-git r6.6e6cd9a-1 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.0-1 9 0.00 The Generic Constraint Development Environment ItachiSan
hpp-constraints 3.2-1 0 0.00 Definition of basic geometric constraints for motion planning Nim65s
isl-git 0.20.52.g44534fc7-1 2 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints (development version) RavuAlHemio
isl14 0.14-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints muhviehstarr
isl15 0.15-1 55 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints Beacon515L
isl16 0.16-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints muhviehstarr
isl17 0.17.1-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints muhviehstarr
isl19 0.19-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints muhviehstarr
lib32-isl 0.22.1-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints adsun
lib32-isl-git 0.16.1.20.gee54b48-1 0 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints (development version) RavuAlHemio
minion 2.0-3 1 0.00 A relatively new constraint solver which is fast and scales well as problem size increases thor77
perl-declare-constraints-simple 0.03-1 0 0.00 Declarative Validation of Data Structures jnbek
perl-moosex-meta-typeconstraint-forcecoercion 0.01-1 0 0.00 Force coercion when validating type constraints jnbek
perl-moosex-method-signatures 0.47-1 1 0.00 Method declarations with type constraints and no source filter jnbek
perl-moosex-types-common 0.001013-1 0 0.00 A library of commonly used type constraints jnbek
perl-moosex-types-datetime 0.13-2 3 0.00 DateTime related constraints and coercions for bidulock
perl-moosex-types-structured 0.30-1 2 0.00 Structured Type Constraints for Moose jnbek
perl-type-tie 0.009-1 0 0.00 tie a variable to a type constraint jahiy
perl-type-tiny-xs 0.012-1 0 0.00 provides an XS boost for some of Type::Tiny's built-in type constraints jahiy
perl-types-datetime 0.001-1 0 0.00 type constraints and coercions for datetime objects jahiy
perl-types-encodings 0.002-1 0 0.00 type constraints for Bytes and Chars jahiy
perl-types-uri 0.006-1 1 0.00 type constraints and coercions for URIs nous
perl-types-uuid 0.004-1 1 0.00 type constraints for UUIDs nous
perl-types-xsd 0.005-1 0 0.00 type constraints based on XML schema datatypes jahiy
perl-types-xsd-lite 0.005-1 0 0.00 type constraints based on a subset of XML schema datatypes jahiy
python-claripy-git 8.19.2.4.r734.050ffe4-1 0 0.00 An abstraction layer for constraint solvers. lockshaw
python2-claripy 7.8.2.21-1 0 0.00 An abstraction layer for constraint solvers oneup
rhea 0.2.4-1 0 0.00 A constraint solver based on Cassowary jrbuchanan2
ruby-dry-types 0.9.3-1 0 0.00 Type system for Ruby supporting coercions, constraints and complex types like structs, value objects, enums etc. supermario
ruby-semverse 2.0.0-3 0 0.00 An elegant library for representing and comparing SemVer versions and constraints tlvince
savilerow 1.6.5-1 1 0.00 A modelling assistant for CP thor77
surface-evolver 2.70-2 3 0.00 Interactive program for the modelling of liquid surfaces shaped by various forces and constraints Francois_B
vislcg3 1.0.0~r12200-2 5 0.00 Compiler and parser for Constraint Grammar (CG), a paradigm for robust, rule-based Natural Language Parsing. unhammer
libminizinc 2.3.1-1 5 0.00 MiniZinc is a modelling language for constraint programming problems kd35a
android-constraint-layout 1.0.2-2 2 0.00 ConstraintLayout for Android (includes solver) sjakub
blender-plugin-bullet-constraints-builder 1.0_r277.2fd3735-1 2 0.00 This Blender Add-on connect rigid bodies via constraints in a physical plausible way bartus
mingw-w64-isl 0.21-1 2 0.00 Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64) adsun
lua-cassowary 2.2-5 1 0.37 The cassowary constraint solver caleb
lua51-cassowary 2.2-5 1 0.37 The cassowary constraint solver caleb
lua52-cassowary 2.2-5 1 0.37 The cassowary constraint solver caleb
isl 0.22.1-1 64 0.52 Library for manipulating sets and relations of integer points bounded by linear constraints Kritias

46 packages found. Page 1 of 1.