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.
Displaying 1 to 5 from 5 results
Mango is a Java library consisting of a number of iterators, algorithms and functions, loosely inspired by the C++ Standard Template Library. It has support of 12 iterators, 16 generic algorithms and variety of function types.
predikaatarvutuse vÃ¤ljendusÃ¼lesannete lahendamise veebikeskkond
Error reporting logic is a simple technique and tool for automatically generating error messages from first-order predicate logic based specifications. From a failing specification, ERL will produce a human-readable error message and will provide a "responsible object" that is designated as the source of the error. ERL requires that the host system implement a simple interface which (in our experience) is just a wrapper around your existing typechecker and a translation from any host-specific pr
Asbpa - Evaluating Answer Set Semantics for programs with bounded predicate arities within polynomia
This project provides an architecture and implementation of the evaluation of logic programs with bounded predicate arities which guarantees to be in polynomial space complexity bound. The implementation utilizes current ASP solvers (in this case, dlv) and Prolog systems (in this case, XSB) as the back-end solver components in the evaluation steps. The implementation was done as part of the work leading to the Master Thesis titled: "Evaluation of Answer Set Programs with Bounded Predicate Aritie
I have implemented the Specification pattern using the Composite pattern in order to provide the ability to combine Specifications in various ways. I really needed this in a project, and I was surprised that I could not find any .NET implementations out in the blogoshpere, so...