Constraint

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...

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...

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

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

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

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Linux

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Windows

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Mac

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Windows