Maintainer: Bickio O'Callahan
This project explores exam question randomisation using an SMT-solver (Z3) to solve constraints on question difficulty
- Install python 3.7+
- Clone repo
- [Optional] Create a virtual environment
pip install -r requirements.txt