•        0

YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).




comments powered by Disqus

Related Projects

OVal - object validation framework

OVal is an extensible object validation framework for Java 5 or later. Annotations (@NotNull) or XML configuration files can be used to express class constraints. OVal can optionally use AspectJ to enforce automatic validation (DbC) How to use: http://oval.sourceforge.net/userguide.html OVal is in the central maven repository: lt;dependencygt; lt;groupIdgt;net.sf.ovallt;/groupIdgt; lt;artifactIdgt;ovallt;/artifactIdgt; lt;versiongt;1.82lt;/versiongt; lt;/dependencygt;

Super CSV

A fast, programmer-friendly, free CSV library for Java


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


Scwm is the Scheme Configurable/Constraints Window Manager, a window manager with a powerful dynamic configuration language based on Guile Scheme. Scwm has many, many advanced features, often implemented in the configuration language itself.

XDraft -- drawing and drafting program

XDraft is a mechanical drawing editor similar to XFig or various Windoze cad programs, but geared towards more precise drawing. XDraft adds input constraints and other features that makes it highly suitable for power users. Also includes dimensioning.


The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Open Workbench

Open Workbench is a desktop application for project management and scheduling in which you can define a work breakdown structure, set dependencies and resource constraints, assign resources to tasks, auto schedule and then monitor progress.

Natural Rule Language (NRL)

NRL is a near-English, model-driven language for expression business constraints, actions and transformations. It works with diverse models, such as UML or XML Schema, and is designed to make it easy to translate to target languages like Java or XSLT

Tokamak Physics Engine

Tokamak Physics Engine is a high performance real-time physics library designed specially for games. It supports various physics constraints and has built-in collision function.


Asteroid has been merged with Scampi, to give rise to OScar. Follow us on https://bitbucket.org/oscarlib/oscar/wiki/Home Asteroid offers a powerful framework for developing constraint-based local search solution to combinatorial problems. This technique provides good scalability to real-world problems. It includes a library of standard constraints and invariants to declaratively define the problem you want to solve, and it also provides powerful search mechanisms.