{"name":"xlsynth-mcmc-pir","vers":"0.29.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eeafadb1112ff8fa7fe9c5c1c78ff4fea4fce03a38ce27feb0abf10e033a8ec8","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-02-09T00:07:50Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.30.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37f74fcbbdcbeb7c9ee736e43acac01803dd338c4cecc1cf1c05055ae71626d5","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-02-18T15:39:32Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.31.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a1bcc9e2dba5c6d2b2ba61fcdf5a181b265f4d3b0c955db045a3cc0238277f88","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-02-18T18:02:55Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.32.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1478f699674310b46babe0201455d3e8bb27b34b0a1fae11b948d8a83e1c28d9","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-02-22T21:48:20Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.33.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af2e393fbc44f8ea3b30735fc5bfaf59a23edd4e3dadf5000573b5da81958357","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-02-23T20:55:11Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.34.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bf65a18a626a5ccea8ad703ed5958d9103a6183ce8ac41ad20a8aad3d8413c40","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-05T21:00:36Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.35.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3ed3256de666a579526a78a1ad2e314b903f2f7e4588df42fd680c3df23c0c05","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-05T23:21:08Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.36.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8e5342d1ad4881f4bd77ad88360db43ef46753e4a9a9537910e7512814e4e9e1","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-09T18:56:59Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.37.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d000d974142dffa7378ebdcaad8451a9bc60fe98f07cf2ecacc4b38738edcf5","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-12T20:49:13Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.38.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"22d45f060b228f87f3eb7d0f9bb5d7852d4d1668023ce299ebec63276a76d503","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-12T22:22:48Z"}
{"name":"xlsynth-mcmc-pir","vers":"0.39.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num_cpus","req":"^1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_pcg","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["arbitrary_precision"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-mcmc","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-prover","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0f614672363dbbce90e664c1862f1322de4fc32925e752db6388cf86b04aae5b","features":{"default":[],"with-bitwuzla-binary-test":["xlsynth-prover/with-bitwuzla-binary-test"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system"],"with-boolector-binary-test":["xlsynth-prover/with-boolector-binary-test"],"with-boolector-built":["xlsynth-prover/with-boolector-built"],"with-boolector-system":["xlsynth-prover/with-boolector-system"],"with-easy-smt":["xlsynth-prover/with-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-z3-binary-test"]},"yanked":false,"pubtime":"2026-03-13T19:36:28Z"}