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

Theory of Hybrid Systems group @ RWTH Aachen University

ths-rwth

Geek Repo

Home Page:https://ths.rwth-aachen.de/

Github PK Tool:Github PK Tool

Theory of Hybrid Systems group @ RWTH Aachen University's repositories

smtrat

Language:C++License:NOASSERTIONStargazers:52Issues:8Issues:108

carl

Language:C++License:NOASSERTIONStargazers:29Issues:8Issues:39

carl-parser

Language:C++Stargazers:3Issues:0Issues:0

carl-windows

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

delta

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

ths-rwth.github.io

Repository for documentation of our projects

Stargazers:0Issues:2Issues:0