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 46

Updated Mar 26, 2019
asm / asm

This project contains the sources of the OW2 ASM library.

14 13 0 0

Updated Apr 06, 2019
LemonLDAP NG / lemonldap-ng

LemonLDAP::NG Web SSO

6 8 1 140

Updated Apr 20, 2019
S

ow2 / servicedesk

General public OW2 issue tracker and help desk.

1 0 0 3

Updated Apr 20, 2019