This package is part of the Tyrolean Complexity Tool (TcT) framework and provides some common functionalities. Check out other the packages available here for instantiations of the framework, for example tct-trs.
-
Notifications
You must be signed in to change notification settings - Fork 1
Common functionalities for TcT
License
ComputationWithBoundedResources/tct-common
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Common functionalities for TcT
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published