libisl15
|
0.15-2 |
54 |
0.00
|
Library for manipulating sets and relations of integer points bounded by linear constraints |
tallero
|
2023-01-03 10:28 (UTC) |
vislcg3
|
1.4.6-1 |
5 |
0.00
|
Compiler and parser for Constraint Grammar (CG), a paradigm for robust, rule-based Natural Language Parsing. |
MarcRiera
|
2023-08-04 14:38 (UTC) |
blender-plugin-cad-sketcher-git
|
r269.e50b784-1 |
1 |
0.00
|
Constraint-based geometry sketcher for blender |
otreblan
|
2022-04-25 21:42 (UTC) |
python2-kiwisolver
|
1.1.0-5 |
1 |
0.00
|
A fast implementation of the Cassowary constraint solver |
hexd
|
2022-06-14 04:41 (UTC) |
python-constraint
|
1.4.0-7 |
2 |
0.00
|
Module implementing support for handling CSPs (Constraint Solving Problems) over finite domain |
iyanmv
|
2023-05-04 12:14 (UTC) |
vislcg3-svn
|
1.3.2.r16867-1 |
0 |
0.00
|
Compiler and parser for Constraint Grammar (CG), a paradigm for robust, rule-based Natural Language Parsing. |
kruzah
|
2021-05-20 20:12 (UTC) |
tfupdate-bin
|
0.8.1-1 |
0 |
0.00
|
Update version constraints in your Terraform configurations |
alexanderbauer
|
2024-03-09 22:50 (UTC) |
surface-evolver
|
2.70-3 |
3 |
0.00
|
Interactive program for the modelling of liquid surfaces shaped by various forces and constraints |
Francois_B
|
2021-07-25 05:26 (UTC) |
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
ruby-dry-types
|
1.5.1-1 |
0 |
0.00
|
Flexible type system for Ruby with coercions and constraints |
orphan
|
2021-08-01 01:08 (UTC) |
python2-rnablueprint
|
1.3.2-3 |
0 |
0.00
|
Library for uniform sampling of RNA sequences given structural and sequence constraints. |
fncnt
|
2021-03-16 10:57 (UTC) |
python-rnablueprint
|
1.3.2-3 |
0 |
0.00
|
Library for uniform sampling of RNA sequences given structural and sequence constraints. |
fncnt
|
2021-03-16 10:57 (UTC) |
perl-rnablueprint
|
1.3.2-3 |
0 |
0.00
|
Library for uniform sampling of RNA sequences given structural and sequence constraints. |
fncnt
|
2021-03-16 10:57 (UTC) |
rnablueprint
|
1.3.2-3 |
0 |
0.00
|
Library for uniform sampling of RNA sequences given structural and sequence constraints. |
fncnt
|
2021-03-16 10:57 (UTC) |
rhea
|
0.2.4-1 |
0 |
0.00
|
A constraint solver based on Cassowary |
jrbuchanan2
|
2016-08-04 03:15 (UTC) |
r-biggr
|
1.38.0-1 |
0 |
0.00
|
Constraint based modeling in R using metabolic reconstruction databases |
BioArchLinuxBot
|
2023-10-26 01:54 (UTC) |
python-pycontracts
|
1.8.14-6 |
0 |
0.00
|
Declare constraints on function parameters and return values |
orphan
|
2023-04-24 21:22 (UTC) |
python-pybobyqa
|
1.3-3 |
0 |
0.00
|
Python-based Derivative-Free Optimization with Bound Constraints |
wjhandley
|
2022-07-01 14:47 (UTC) |
python-py-slvs-git
|
r20.c94979b-2 |
0 |
0.00
|
Python binding of SOLVESPACE geometry constraint solver |
otreblan
|
2022-11-22 17:23 (UTC) |
python-py-slvs
|
1.0.6-2 |
0 |
0.00
|
Python binding of SOLVESPACE geometry constraint solver |
bitswitcher
|
2023-08-23 13:17 (UTC) |
python-constraint-git
|
2.0.0b3.r10.g2357471-1 |
0 |
0.00
|
Solvers for Constraint Satisfaction Problems (CSPs) over finite domains in simple and pure Python |
xiretza
|
2023-09-24 14:23 (UTC) |
python-claripy-git
|
8.20.7.27.r2075.d04d9177-1 |
0 |
0.00
|
An abstraction layer for constraint solvers. |
ldr709
|
2022-10-23 03:37 (UTC) |
perl-types-xsd-lite
|
0.007-1 |
0 |
0.00
|
type constraints based on a subset of XML schema datatypes |
yar
|
2024-02-18 22:49 (UTC) |
perl-types-xsd
|
0.008-1 |
0 |
0.00
|
type constraints based on XML schema datatypes |
yar
|
2024-02-18 23:01 (UTC) |
perl-types-uuid
|
0.004-1 |
1 |
0.00
|
type constraints for UUIDs |
nous
|
2015-09-01 14:18 (UTC) |
perl-type-tiny-xs
|
0.025-1 |
0 |
0.00
|
provides an XS boost for some of Type::Tiny's built-in type constraints |
cpanbot
|
2024-03-24 17:56 (UTC) |
perl-moosex-types-structured
|
0.36-1 |
0 |
0.00
|
Structured Type Constraints for Moose |
cpanbot
|
2024-03-23 22:25 (UTC) |
perl-moosex-types-datetime
|
0.13-2 |
3 |
0.00
|
DateTime related constraints and coercions for |
bidulock
|
2017-09-05 20:21 (UTC) |
perl-moosex-types-common
|
0.001013-1 |
0 |
0.00
|
A library of commonly used type constraints |
jnbek
|
2015-09-29 23:39 (UTC) |
perl-moosex-meta-typeconstraint-forcecoercion
|
0.01-1 |
0 |
0.00
|
Force coercion when validating type constraints |
jnbek
|
2016-04-20 23:18 (UTC) |
perl-declare-constraints-simple
|
0.03-1 |
0 |
0.00
|
Declarative Validation of Data Structures |
jnbek
|
2015-06-16 20:43 (UTC) |
lua53-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
lua51-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
lua-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
lua52-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
libminizinc
|
2.8.3-1 |
5 |
0.00
|
A modelling language for constraint programming problems |
xiretza
|
2024-03-03 14:44 (UTC) |
libisl-git
|
0.24.332.geb702ee7-1 |
2 |
0.00
|
Library for manipulating sets and relations of integer points bounded by linear constraints (development version) |
RavuAlHemio
|
2022-06-28 09:58 (UTC) |
hpp-constraints
|
3.2-1 |
0 |
0.00
|
Definition of basic geometric constraints for motion planning |
Nim65s
|
2022-09-13 21:46 (UTC) |
gecode
|
6.2.0-2 |
9 |
0.00
|
The Generic Constraint Development Environment |
ItachiSan
|
2021-09-23 19:39 (UTC) |
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. |
orphan
|
2019-10-03 14:49 (UTC) |
emeus
|
1.0+5d38cc3-1 |
1 |
0.00
|
Constraint-based layout manager for GTK+ |
tallero
|
2020-06-28 08:06 (UTC) |
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
digilent-xdc-git
|
r36.ad3ecaf-1 |
0 |
0.00
|
A collection of Master XDC board constraints files for Digilent FPGA and Zynq boards |
telans
|
2019-02-15 10:23 (UTC) |
cuelang-cue-git
|
r157.ad10d9d-1 |
0 |
0.00
|
The CUE Data Constraint Language |
cbrgm
|
2019-05-09 22:11 (UTC) |
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
|
2021-02-13 09:43 (UTC) |
android-constraint-layout
|
1.0.2-2 |
2 |
0.00
|
ConstraintLayout for Android (includes solver) |
sjakub
|
2018-04-03 22:01 (UTC) |