search

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker
Other
4 stars 3 forks source link

Bump build system #44

Closed volkm closed 1 month ago

volkm commented 1 month ago
volkm commented 1 month ago

Failing tests are due to inability to clone ginac repository.