{"name":"circuit_sat_check","vers":"0.1.0","deps":[{"name":"cnfgen","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gatesim","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"89f98e05632ccfcdb9578979ee013725126cce4f8ca1154e1f9ace95e6543bf5","features":{},"yanked":false,"pubtime":"2025-02-21T17:25:20Z"}