Symbolic execution lab for the d7020e course at LTU.
Lab1 for the d7020e course at LTU.
A simple multi-processing kernel
Decrypting a String