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).
JsHamcrest is a JavaScript library heavily inspired by Hamcrest. It provides a large library of matcher objects (also known as constraints or predicates) allowing “match” rules to be defined declaratively. Typical scenarios include testing frameworks, mocking libraries, UI validation rules and object querying.
Ciao is a LGPL licensed, extensible, next generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.
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.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy