Contact

The code is mainly developed in the group of Andreas Gr√ľneis at the Technical University Vienna https://cqc.itp.tuwien.ac.at/.

If you have questions about installing or applying cc4s, you can open an issue on gitlab https://gitlab.cc4s.org/cc4s/cc4s/-/issues. You can also write an email to any of the developers, but we would recommend the use of gitlab.

Created: 2022-09-19 Mon 15:00