Tags : Browse Projects

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

Hamcrest

Compare

  Analyzed 11 months 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.

29.3K lines of code

14 current contributors

12 months since last commit

14 users on Open Hub

Activity Not Available
4.28571
   
I Use This

SAT4J

Compare

Claimed by The OW2 Consortium Analyzed 10 months 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).

61K lines of code

4 current contributors

11 months since last commit

4 users on Open Hub

Activity Not Available
5.0
 
I Use This

choco

Compare

  Analyzed about 2 months ago

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

665K lines of code

0 current contributors

almost 3 years since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This

JsHamcrest

Compare

  Analyzed about 2 months 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

0 current contributors

over 2 years since last commit

2 users on Open Hub

Activity Not Available
0.0
 
I Use This

Concrete CSP Solver

Compare

  Analyzed about 2 months ago

A CSP solving API

22K lines of code

2 current contributors

3 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

Ciao Programming Language

Compare

  Analyzed 5 months ago

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.

350K lines of code

5 current contributors

5 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses

refresh

Compare

  Analyzed about 1 year 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 ... [More] proper application configuration for the target infrastructure. Refresh then uses either the Spring or Google Guice dependency injection framework to inject the dependencies selected by the constraint solver. [Less]

8.32K lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

constraintbuilder

Compare

  Analyzed 12 months ago

project for solving constraint optimization problems in c#

0 lines of code

0 current contributors

about 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+

DBFeeder

Compare

  Analyzed about 2 months ago

With DBFeeder you can generate testdata for Oracle Databases which fits primary and foreign keys of tables. A file-based configuration systems allows in-depth customization of the type of data which is generated.

8.81K lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

hampi

Compare

  Analyzed about 1 year 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 ... [More] context-free-language definitions, regular-language definitions and operations, and the membership predicate. Given a set of constraints, Hampi outputs a string that satisfies all the constraints, or reports that the constraints are unsatisfiable. The Hampi paper won ACM SIGSOFT Distinguished Paper Award at ISSTA'09 (International Symposium on Software Testing and Analysis, Chicago, USA). Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: A Solver for String Constraints Hampi project pagehttp://people.csail.mit.edu/akiezun/hampi [Less]

35.2K lines of code

0 current contributors

over 5 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This