A successful project requires many people to play many roles. Some members write code or documentation, while others are valuable as testers, submitting patches and suggestions.
The team is comprised of Members and Contributors. Members have direct access to the source of a project and actively evolve the code-base. Contributors improve the project through submission of patches and suggestions to the Members. The number of Contributors to the project is unbounded. Get involved today. All contributions to the project are greatly appreciated.
The following is a list of developers with commit privileges that have directly contributed to the project in one way or another.
| Id | Name | URL | Organization | Organization URL | Roles | Time Zone | Actual Time (GMT) | |
|---|---|---|---|---|---|---|---|---|
| leberre | Daniel Le Berre | leberre@cril.fr | http://www.cril.fr/~leberre/ | CRIL CNRS UMR 8189 | http://www.cril.fr | architect, developer | - | - |
| sroussel | Stephanie Roussel | sroussel@cril.fr | - | CRIL CNRS 8188 | http://www.cril.fr | developer | +1 | +1 |
| lonca | Emmanuel Lonca | lonca@cril.fr | http://www.sat4j.org/ | CRIL CNRS 8188 | http://www.cril.fr | developer | +1 | +1 |
The following additional people have contributed to this project through the way of suggestions, patches or documentation.
| Name | URL | |
|---|---|---|
| Carsten Fuhs | fuhs@informatik.rwth-aachen.de | http://verify.rwth-aachen.de/fuhs/ |
| Dieter von Holten | - | - |
