Branches · Gomes, J.M. / cDMN Solver · GitLab

Sign in or sign up before continuing. Don't have an account yet? Register now to get started.

Stale branches

iss15

f742185e · Fix typo in predefined values · Aug 05, 2020
iss60

f50a2ac7 · Remove unneeded references to alias · Nov 10, 2020
iss62

71a3aee5 · Remove unneeded print · Dec 15, 2020
iss65

302bbdf9 · Add IDP-Z3 as back-end solver · Dec 21, 2020
iss66

83b98cc1 · Further extend API · Dec 24, 2020

Show more stale branches