Licenses
| License | URL |
|---|---|
| GNU General Public License v3.0 | https://www.gnu.org/licenses/gpl-3.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Robin Maisch | jplag<at>ipd.kit.edu | robinmaisch | KASTEL | |
| Timur Sağlam | jplag<at>ipd.kit.edu | tsaglam |
| License | URL |
|---|---|
| GNU General Public License v3.0 | https://www.gnu.org/licenses/gpl-3.0.txt |
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Robin Maisch | jplag<at>ipd.kit.edu | robinmaisch | KASTEL | |
| Timur Sağlam | jplag<at>ipd.kit.edu | tsaglam |