Explore GitLab

Mirror of https://github.com/usharesoft/hammr.git

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

Scala front-end to Sat4j

CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.

This project contains the sources of the OW2 ASM library.

A tool to migrate Jira issues to Gitlab environment.

This project contains the sources of the OW2 ASM library.

Content Manager is a component describing a API used with some services, portlets or other component to access binary files associated with a resource (we often talk about native content and normalised content).

The WebLab Core is the composed of both

the WebLab Model (UML, XSD and WSDL) used for standardising the interfaces and objects used inside the platform (language agnostic,) and various Java based projects (extended, annotator, rdf-helper...)

A WebLab Web Service which remove all unused blank lines in text section of MediaUnits.

Parent POM for webservices based on WebLab Core

AuthzForce Core PDP engine (Community Edition)

AuthzForce Core PDP API

AuthzForce Parent Project