OBDD-based implicit algorithm implementation of the parallel maximum weight matching approximation algorithm by Chen and Uehara. This implementation served as core component of the experimental analysis in my bachelor thesis.