8044f05a7149c8ea8d448cf47b1cbd54  Boolean%20Solver-0.5.2.tar.gz