Skip to content

@ths-rwth Theory of Hybrid Systems group @ RWTH Aachen University

Change the repository type filter

All

    Repositories list

    6 repositories

    • smtrat

      Public
      C++
      •
      Other
      •13•52•32•2•Updated Aug 23, 2024Aug 23, 2024

    • carl

      Public
      C++
      •
      Other
      •14•29•5•2•Updated Jun 13, 2024Jun 13, 2024

    • ths-rwth.github.io

      Public
      Repository for documentation of our projects
      0•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • delta

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 30, 2022Nov 30, 2022

    • carl-parser

      Public
      C++
      •0•3•1•0•Updated Jan 3, 2022Jan 3, 2022

    • carl-windows

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 6, 2018Nov 6, 2018