Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Repository containing the directory structure for LuB submissions.
Upstream Git Repository for Computer Organization and Networks Practicals 2019/20
Example Hugo site using GitLab Pages: https://pages.gitlab.io/hugo
This project contains the material for the Verification and Testing practicals.
ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Work on soft error analysis for the IMMORTAL project (activity with IBM)