Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

SAT4J / sat4j

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

1 2 0 47

Updated Jul 17, 2019
asm / asm

This project contains the sources of the OW2 ASM library.

14 13 0 1

Updated Jul 17, 2019
LemonLDAP NG / lemonldap-ng

LemonLDAP::NG Web SSO

6 9 0 168

Updated Jul 17, 2019
AuthzForce / core-pdp-api

AuthzForce Core PDP API

1 0 0 1

Updated Jun 27, 2019