Reverse Dependencies of pycryptosat

The following projects have a declared dependency on pycryptosat:

• cadbiom — Cadbiom library v1.1.0
• python-sat — A Python library for prototyping with SAT oracles
• tqecd — Automatically find detectors in a topologically quantum error corrected computation