Explore projects

Template GIT repo structure for IAIK bachelor's theses

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

Code examples for the lecture

Illustrative examples extending lecture content

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

Template GIT repo structure for Introduction to Scientific Writing reports

https://www.iaik.tugraz.at/isw

Template GIT repo structure for IAIK master's projects

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

Template GIT repo structure for IAIK master's theses

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