Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 2
Filter by Related Tags:

Hamcrest

Compare

  Analyzed about 1 month ago

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.

30.9K lines of code

12 current contributors

2 months since last commit

15 users on Open Hub

Activity Not Available
4.28571
   

SAT4J

Compare

  Analyzed 29 days ago

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).

58.6K lines of code

4 current contributors

About 1 month since last commit

4 users on Open Hub

Low Activity
5.0
 

choco

Compare

  Analyzed 9 days ago

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).

665K lines of code

1 current contributors

7 months since last commit

2 users on Open Hub

Very Low Activity
5.0
 

JsHamcrest

Compare

  Analyzed about 1 month ago

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.

8.5K lines of code

4 current contributors

3 months since last commit

2 users on Open Hub

Activity Not Available
0
 

Concrete CSP Solver

Compare

  Analyzed about 1 month ago

A CSP solving API

25K lines of code

1 current contributors

5 months since last commit

1 users on Open Hub

Activity Not Available
0
 

Choicetool

Compare

  Analyzed 30 days ago

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.

9.06K lines of code

0 current contributors

Over 4 years since last commit

0 users on Open Hub

Inactive
2.0
   
Licenses: No declared licenses

refresh

Compare

  Analyzed about 1 month ago

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 proper application configuration for... [More]

8.32K lines of code

0 current contributors

Over 7 years since last commit

0 users on Open Hub

Activity Not Available
0
 

constraintbuilder

Compare

  Analyzed 8 days ago

project for solving constraint optimization problems in c#

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: GPL-2.0+

hampi

Compare

  Analyzed about 1 month ago

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 context-free-language definitions, regular-language de... [More]

35.2K lines of code

0 current contributors

About 3 years since last commit

0 users on Open Hub

Activity Not Available
0
 

pocle

Compare

  Analyzed about 1 month ago

Latest version: Processor of OCL 2.0 expressions v1.3 Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. To do this we base our design in the existent tool called Dresden OCL2 Toolkit, from the Dresden University. By now, our implementation suppo... [More]

52.7K lines of code

0 current contributors

Over 6 years since last commit

0 users on Open Hub

Activity Not Available
0