•        0

Constrainer is a Constraint Satisfaction Environment written in Java. It is currently being actively developed and supported as part of another project OpenL Tablets here on Sourceforge:



comments powered by Disqus

Related Projects

The GNU Triangulated Surface Library

GTS provides a set of useful functions to deal with 3D surfaces meshed with interconnected triangles including collision detection, multiresolution models, constrained Delaunay triangulations and robust set operations (union, intersection, differences).


Nuttx is a real time embedded operating system (RTOS). Its goals are: (1) small footprint usable in deeply embedded, resource constrained environments, (2) fully scalable from tiny (8-bit) to moderate (32-bit), (3) standards compliance, (4) real time, and (5) totally open. Think quot;Tiny Linuxquot;.

Object-oriented Scientific Computing Lib

An object-oriented library for scientific computing in C++.


grepmail searches a normal or compressed mailbox (gzip, bzip2, or tzip) for a given regular expression and returns those emails that match the query. It also supports searches constrained by date.

The Contiki Operating System

Contiki is an open source, highly portable, networked, multi-tasking operating system for memory-constrained systems. Contiki current source code: Contiki historical source code:

Re2 - Regular Expression Library in C++

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. E2 uses automata theory to guarantee that regular expression searches run in time linear in the size of the input. RE2 implements memory limits, so that searches can be constrained to a fixed amount of memory. RE2 is engineered to use a small fixed C++ stack footprint and could be used in mulch-threaded environment.


An efficient, lean, Java SOAP library for constrained devices.

A dictionary for mobile phones

Cornucopia is an Offline Dictionary for Mobile Phones/PDAs and similar resource constrained devices. It works on anything that supports MIDP 1.0 (j2me) or above.

Chemical Markup Language

The development and curation of a range of XML-based tools for using Chemical Markup Language (CML), including XSD XML Schemas for validation, datatyping and constraining CML documents and XSLT Stylesheets for transforming, filtering and rendering.

E* Interpolated Graph Replanner

The E* algorithm is a path planner for (mobile) robotics. Unlike A*, which constrains movements to graph edges, it produces smooth trajectories by interpolating between edges. Like D*, it supports dynamic replanning after local path cost changes.