CQU Project Member List
Decision solver for Counting Quantifiers over Unary Predicates
Brought to you by:
mfinger
Members
| Developer | Username | Role/Position |
|---|---|---|
| Marcelo Finger | mfinger | Admin |