Constraints

Data::FormValidator::Constraints is a Perl module with basic sets of constraints on input profile. SYNOPSIS use Data::FormValidator::Constraints qw(:all); In an Data::FormValidator profile: constraint_methods => { email => email(), fax => american_phone(), phone => american_phone(),... Platforms: *nix

Catalyst::Controller::Constraints contains Constraint Signatures for Controller Actions. SYNOPSIS package MyApp::Controller::Foo; ... use base qw(Catalyst::Controller::Constraints); __PACKAGE__->config( constraints => { # allow only digits for type Integer Integer => qr/^d+$/, #... Platforms: *nix

Declare::Constraints::Simple is a Perl module for Declarative Validation of Data Structures. SYNOPSIS use Declare::Constraints::Simple-All; my $profile = IsHashRef( -keys => HasLength, -values => IsArrayRef( IsObject )); my $result1 = $profile->(undef); print $result1->message, "n"; #... Platforms: *nix

This algorithm deal with multimodal optimization problems under constraints. Platforms: Matlab

VERT2CON - convert a set of points to the set of inequality constraints which most tightly contain the points; i.e., create constraints to bound the convex hull of the given points[A,b] = vert2con(V)V = a set of points, each ROW of which is one pointA,b = a set of constraints such that A*x Platforms: Matlab

The overlap add and overlap save are the two generally implemented methods when the input is greater than the maximum processible block in MATLAB because of memory constraints. Platforms: Matlab

The aim of this toolbox is to compute blocking probabilities in WDM networks. This work was based on [1], [2], [3], [4] and user is referred to those papers for deeper study.Because WDM networks are circuit switched loss networks blocking may occur because of lack of resources. Also in circuit... Platforms: Matlab

L-BFGS-B is a collection of Fortran 77 routines for solving nonlinear optimization problems with bound constraints on the variables. One of the key features of the nonlinear solver is that the Hessian is not needed. I've designed an interface to the L-BFGS-B solver so that it can be called like... Platforms: Matlab

CON2VERT - convert a convex set of constraint inequalities into the set of vertices at the intersections of those inequalities;i.e., solve the "vertex enumeration" problem.V = con2vert(A,b)Converts the polytope (convex polygon, polyhedron, etc.) defined by the system of inequalities A*x = n (m... Platforms: Matlab

Dynamic economic dispatch is an important variant of economic dispatch,where the the ramp constraints also considered .This software presents a simple way of implementing the quadaratic programming to solve the problem. Platforms: Matlab

Creates a 1,2 or 3 dimensional probability distribution supported on user-supplied lattice points subject to linear and moment constraints. A trite financial example is provided. Platforms: Matlab

NOREDUND - Remove redundant linear inequalities from a set of inequalities; i.e., remove redundant linear constraints defining a feasible region. Note that the feasible region satisfies A*x Platforms: Matlab

BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource... Platforms: Mac

Fulgoro is library for image processing with real-time constraints. It use SIMD optimizations when available and give the opportunity to use automatic smart threads to speed-up processing. Python or Ruby extension could be used to easily "script" applications while preserving the computation speed Platforms: *nix

uBASIC is a non-interactive BASIC interpreter designed for adding simple scripting capabilities to applications and systems with severe memory constraints. The (non-interactive) uBASIC interpreter supports only the most basic BASIC functionality: if/then/else, for/next, let, goto, gosub, print,... Platforms: *nix

DBIx::EnumConstraints is a Perl module that generates enum-like SQL constraints. SYNOPSIS use DBIx::EnumConstraints; my $ec = DBIx::EnumConstraints->new({ name => kind, fields => [ [ k1, a, b ] , [ k2, b ] ] }); # get enum field definition my $edef = $ec->enum_definition; # $edef is... Platforms: *nix

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints. The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the... Platforms: *nix

Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications. Gecode is radically open for programming, meaning that it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of... Platforms: *nix

jRate is an extension of the GNU GCJ compiler front-end and runtime system that adds support for most of the features required by the Real-Time Specification for Java (RTSJ), including threading constructs with real-time constraints, asynchronous event handling, and memory regions. It was... Platforms: *nix

Scriptol is an object oriented programming language designed to deliver the programmer from hardware or software constraints and let him or her concentrate only on the problem to formulate as a program. Scriptol Compilers is universal, and allows building dynamic Web pages (with PHP as the... Platforms: *nix