Problem generator for CNF and PBO encodings of hash functions.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.