Select a tag to browse associated projects and drill deeper into the tag cloud.
Provides a library of matcher objects (also known as constraints or predicates) allowing 'match' rules to be defined declaratively, to be used in other frameworks. Typical scenarios include testing frameworks, mocking libraries and UI validation rules.
The SAT4J project is meant to provide SAT technologies to Java developers. SAT4J 2.0 is currently used in numerous academic projects (see SAT4J web site) and is used in the new Eclipse 3.4 update manager (Equinox p2).
choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).
Choicetool is a configuration management tool like CML2 or Linux kernel kconfig. It uses an input description in order to know the configuration symbols and their inter-relations and creates an outputs a script that should be shipped with a package, in order to let the user tweak the configuration parameters interactively.
Refresh is a constraint-based application configuration framework. Refresh allows application features and components to be annotated with both dependencies and non-functional constraints, using OCL and other languages. Internally, Refresh uses a constraint solver and other algorithms, to deduce the ... [More]
Hampi is a solver for string constraints. Hampi is designed for constraints generated by program analysis tools, automated bug finders, intelligent fuzzers. Hampi constraints express membership in regular languages and bounded context-free languages. Hampi constraints may contain ... [More]
Goal and current statusGoal of project is support other validation frameworks(hibernate-validator, JSR-303) in tapestry 5. Currently supports hibernate-validator 3.x project. Hibernate validator supportAllows you to use hibernate validator annotations for validation in tapestry web layer. ... [More]
There are various useful things that can be done with generic methods/classes where there's a type constraint of "T : enum" or "T : delegate" - but unfortunately, those are prohibited in C#. This utility library works around the prohibitions using ildasm/ilasm, by building ... [More]