—SEC. 05 — Constraint

Constraint

Subcategories0

Indexed links2

Direct links2

Total subtree0

— SEC. 01
Listings

All links in this category.

Showing 1–2 of 2 editor-approved links.

Showing 2 on this page

Constraint

Brandeis Interval Arithmetic Constraint Solver

www.cs.brandeis.edu

Java applet that solves non-linear real arithmetic constraints.

Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD]

Added May 10, 2026