Constraint

Koalog Constraint Solver is a powerful constraint solver written in Java. Koalog Constraint Solver project provides cutting-edge technology for solving satisfaction and optimization problems, including scheduling: - scheduling: Koalog Constraint Solver provides a specific API for disjunctive... Platforms: *nix

This code uses the constraint package to solve sudoku puzzles. It's designed to be flexible and tested with 9x9 puzzles with 1-9 as possible values. In theory it should be able to solve puzzles of different sizes comprised of letters or symbols instead of numbers. Requirements: - constraint... Platforms: Windows, Mac, *nix, Python, BSD Solaris

This function was developed for nonparametric estimation problems where the estimate must satisfy some shape constraint. Our standard example of this is using a kernel density estimator, with the constraint that the estimate can have only one mode.Let x be the observed data, and confun(x,...) be... Platforms: Matlab

This file is used for extracting information of constituents in a mixture. What you need is a data set for the spectral image. The results you can get include the spatial distribution of mixture composition and pure spectra of the components.A similar algorithm in chemometrics, which is more... Platforms: Matlab

Gecode/J is a Java interface for the Gecode C++ constraint programming library. It allows you to: model and solve constraint problems in Java. explore the search tree with our tree visualization tool. Either using the built-in depth-first search strategy, or manually and interactively.... 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

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It... Platforms: Linux

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It... Platforms: Windows

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It... Platforms: Mac

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

Sequence Generator (file ID #24620) has been renamed to CORE - Constraint Randomization Environment. Interface and code structure of v0.91 are explained in this manual.Current development concentrates on these topics:- Performance related issues- Bug fixes (3 known issues)- Improved constraint... Platforms: Matlab

I always felt that the Matlab logo is straining against the flat constraint of its rear left quarter. So I removed that constraint and took a look at what would happen. Free your matlab, free the logo. Platforms: Matlab

An open-source Java class library designed for Constraint Satisfaction Problem solving. This CSP library was started independently (by the project owner) and is associated with the Babes-Bolyai University, Romania. Platforms: Mac

Constraint satisfaction problems (CSPs) are pervasive in AI problems. A constraint satisfaction problem is the problem of assigning values to variables that satisfy some constraints. This tool lets you investigate arc consistency and domain splitting with backtracking as ways to solve these... Platforms: Mac

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems. Platforms: *nix

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP). Platforms: *nix

Grepmail searches for emails in a normal or compressed mailbox using a regular expression or date constraint. To install this package, change to the directory where you unarchived this distribution and do the following steps: perl Makefile.PL make make test make install. Platforms: *nix

Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.. 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

Strasheela is a highly expressive constraint-based music composition system.2 The Strasheela user declaratively states a music theory and the computer generates music which complies with this theory. A theory is formulated as a constraint satisfaction problem (CSP) by a set of rules (constraints)... Platforms: Mac