cryptosym (pypi): Symbolic bitvector computation with cryptographic applications
Keywords: cryptography|satisfiability|sha256|sat|solver|computational|graph|combinatorial-optimization|machine-learning|optimization