We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
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).
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;
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 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 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.
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
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.