Explore projects

Template GIT repo structure for IAIK master's projects

https://www.iaik.tugraz.at/master-thesis

Template GIT repo structure for IAIK bachelor's theses

https://www.iaik.tugraz.at/bachelor-thesis

Template GIT repo structure for IAIK master's theses

https://www.iaik.tugraz.at/master-thesis

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

Code examples for the lecture

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.