Read the accompanying paper on essay.utwente.nl
This project contains the implementations for the different algorithms explored in the Research Project of the Bachelor Study Technical Computer Science at the University of Twente.
Run main.py
for a general test suite that runs multiple example networks
(that are defined in the paper) for multiple algorithms.
The following implementations correspond to the algorithms mentioned in the paper:
basic.py
: Basic approach without BDDsbdd.py
: Basic approach with BDDsnaive.py
: Naive approachnaive_optimized.py
: Naive approach with cachingsearch.py
: Search approach
This code was developed using Python 3.9, if it does not work on your computer, then make sure to up-/downgrade to this version.
Furthermore, make sure that you have installed all of the dependencies in
requirements.txt
.