Theory of Hybrid Systems group @ RWTH Aachen University

Popular repositories Loading

1. smtrat smtrat Public

   C++ 64 14

2. carl carl Public

   C++ 30 16

3. carl-parser carl-parser Public

   C++ 3

4. carl-windows carl-windows Public

   C++

5. ths-rwth.github.io ths-rwth.github.io Public

   Repository for documentation of our projects

   HTML

6. delta delta Public

   C++