{"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"}
{"name":"circuit_sat_check","vers":"0.1.1","deps":[{"name":"cnfgen2","req":"^0.2","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":"0e7c42ef1417a1f910e2a912a42b5efe14de30a3dbc6990b1d41438d3f1fcada","features":{},"yanked":false,"pubtime":"2026-05-29T11:30:07Z"}