{"name":"xlsynth-prover","vers":"0.0.187","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.0.187","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.0.187","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8805751072a94e1af0865f1f478c6ee6ba15c6b965a72e1efd88d087a983e34c","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-09-18T01:08:32Z","v":2}
{"name":"xlsynth-prover","vers":"0.3.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bc7d099b1d243f17b211e50ecad319e37e2aa69467b3450c48f6654bd9db962e","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-09-25T04:28:41Z","v":2}
{"name":"xlsynth-prover","vers":"0.5.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5fb0fd916ccedff00c7eb938a15609690b574ccffe5975ef571d1e515336b8ee","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-09-25T18:04:47Z","v":2}
{"name":"xlsynth-prover","vers":"0.6.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"620d0d057c60e70b29d23cf727cf4ae5e5a14eb58dbd272ef6db3bb0f8309aef","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-02T23:50:15Z","v":2}
{"name":"xlsynth-prover","vers":"0.6.2","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"402a195e9c8b16a3a5ff00338832be2eb939db61217b49f6c443a191dcd88925","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-07T17:03:55Z","v":2}
{"name":"xlsynth-prover","vers":"0.7.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1c7747b708fe29e19f80df7ed714e7de745d6a1764e24398d51326095ba39c0c","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-07T18:30:33Z","v":2}
{"name":"xlsynth-prover","vers":"0.6.3","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d20ab5bd2271c3bc736a4789bd539216b6da8cb0cfa06c7bb57281d41ac96a9","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-08T19:45:47Z","v":2}
{"name":"xlsynth-prover","vers":"0.8.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8de44e981ffdf11e130fa6db894da78a9225803ecc814cc1d9fba2fa9bb749ed","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-16T05:04:30Z","v":2}
{"name":"xlsynth-prover","vers":"0.9.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ef376917117fabcc3095c1bc90cd48b5e2f19f3473912069452b456fa79da2de","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-18T04:16:07Z","v":2}
{"name":"xlsynth-prover","vers":"0.10.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5e7d5b6b0768dbf5b6520b96cbd0eaeff380cac99ecb77ad4df5423a911cb5f2","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-19T06:05:29Z","v":2}
{"name":"xlsynth-prover","vers":"0.11.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5692c4acf59709e2a4657c77413c5ffb658fd90bc873073dd724dec854010d15","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-19T17:13:30Z","v":2}
{"name":"xlsynth-prover","vers":"0.6.4","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3449701e66f0eea8d8fa05b2f647d2f4c7f3fb1670d99f4ed852ba4f4e691e1b","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-21T01:49:19Z","v":2}
{"name":"xlsynth-prover","vers":"0.12.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"01e06bc93a824e3785005d7d88eec9bc9cf1473862d01828de3a1a2a735ee98b","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-24T02:04:03Z","v":2}
{"name":"xlsynth-prover","vers":"0.13.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f942d361bcbe8675c184c650fb0bf8cecbf5c1ac76edc9a07ae838ef8dfcee71","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-25T00:12:22Z","v":2}
{"name":"xlsynth-prover","vers":"0.14.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b59d7669528e053138faecb881d8ecdd2f9098783624744f5c0b070788bd0dd","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-10-29T00:08:10Z","v":2}
{"name":"xlsynth-prover","vers":"0.15.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1f92f944c1caede705f4c66a889930e5d33a7a3289a1fa73cbc7d9efb7e87af0","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-11-02T22:01:02Z","v":2}
{"name":"xlsynth-prover","vers":"0.16.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"211b5afa5b484c01a99569688a7eff5c24879e09863751765b3899816d29c1d2","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-11-06T19:33:09Z","v":2}
{"name":"xlsynth-prover","vers":"0.17.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ab64ea94d14cce144c5eb808f9d0bb93977065fd34130e9b1bb64c3223c005ea","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-11-06T20:14:17Z","v":2}
{"name":"xlsynth-prover","vers":"0.18.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"868b0a873d69953cc792e3a151f3bce41654e4b8050e58c513becc6123df1dab","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-11-08T23:44:12Z","v":2}
{"name":"xlsynth-prover","vers":"0.19.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"da59abe6f3a07e8aaefb8a1deb5bf643968d25d773762dbc928db2e75523ec6a","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-11-11T20:07:28Z","v":2}
{"name":"xlsynth-prover","vers":"0.20.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"752e5ea9b00e3900588df2e2d9cc559347804a1b9f0bb0678fae64084f5269ad","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-12-02T06:23:13Z","v":2}
{"name":"xlsynth-prover","vers":"0.21.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"60c4aba938830a45699f765b20613f295c9406757759e488ab5c538c7e6d524f","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-12-03T00:40:07Z","v":2}
{"name":"xlsynth-prover","vers":"0.22.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0a9ac969342c0a554a1858ed3ae904fe021f1935d503e2a0ff225f1dd7daee5a","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-12-03T20:18:22Z","v":2}
{"name":"xlsynth-prover","vers":"0.23.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"55146f96da9e0048f1b7de5ca3bb3f348bbce1f6e92ae8e3f63adbe1caad905c","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2025-12-11T22:49:13Z","v":2}
{"name":"xlsynth-prover","vers":"0.24.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d804b48b219c6327e497c9cee88deea13b0feda76922ecf5000ea1c2f8e07cc","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-01-02T08:35:37Z","v":2}
{"name":"xlsynth-prover","vers":"0.25.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6f66e3bba45b8bf2e9f5b1317acbceb332b94a52440076141187c2f39505c307","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-01-14T15:10:42Z","v":2}
{"name":"xlsynth-prover","vers":"0.26.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"405db5eb6fe504cdd6975d2d9a2c25cda0562a1420444b60216f896e58789d45","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-01-19T04:43:17Z","v":2}
{"name":"xlsynth-prover","vers":"0.27.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6735ee49972a75d23fc4e7c9e69cb3137f79c5dabbe642e767f1e81ac9cea746","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-01-27T16:12:48Z","v":2}
{"name":"xlsynth-prover","vers":"0.28.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-pir","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f11860797474cdf22ec0f32b711844ea4eb254cde0a6ab6383eda3dee26591c3","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-02T07:48:10Z","v":2}
{"name":"xlsynth-prover","vers":"0.29.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c189bba218dec5b5711eeb2998b142444c55392cc01fc96344b8ce9364d96a8d","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-09T00:07:37Z","v":2}
{"name":"xlsynth-prover","vers":"0.30.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fb66a01c9e143dec5d1fb9d65e4514569505db7ba78c17891e22c9a9d9be63c3","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-18T15:39:13Z","v":2}
{"name":"xlsynth-prover","vers":"0.31.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d1afc7efd54b1bfbac3f0244e2bf21d94f8020dcd063bebd4c5f8433c97fb886","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-18T18:02:31Z","v":2}
{"name":"xlsynth-prover","vers":"0.32.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"da8b924f89e2262eb20daec958c192094e04005f1c7cf821dcdcbf99e5ca6595","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-22T21:47:56Z","v":2}
{"name":"xlsynth-prover","vers":"0.33.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"299cd5f7f3d1149e36f4fc7b4da98caba2bed92c98268298abc085de682a3c53","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-02-23T20:54:50Z","v":2}
{"name":"xlsynth-prover","vers":"0.34.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8f92de7f6b4ce01c3494c229f76cb17ebdf44b6d7f8f362473c4bb53722e34f4","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-05T21:00:13Z","v":2}
{"name":"xlsynth-prover","vers":"0.35.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fd7d62a4c0f7bb508c1dbafc6889e6991a24ef1885fde47b5ac9344f6d4fd2c0","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-05T23:20:48Z","v":2}
{"name":"xlsynth-prover","vers":"0.36.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6b6c6d415ce16ebcc34295a5c240c0ab1ef79e7c04e4d7bda948256c95551313","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-09T18:56:37Z","v":2}
{"name":"xlsynth-prover","vers":"0.37.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"28cfccf5aa84b96b0c588667fc69bd5a20f244be3b095014950970df2b0544ea","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-12T20:48:56Z","v":2}
{"name":"xlsynth-prover","vers":"0.38.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"abc93b8ea5f0d73997f7c5f3f1c04737543351627f32e98eea4e1e58daa9597a","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-12T22:22:27Z","v":2}
{"name":"xlsynth-prover","vers":"0.39.0","deps":[{"name":"bitwuzla-sys","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-sys","req":"^0.7.2","features":[],"optional":true,"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":"easy-smt","req":"^0.3.1","features":[],"optional":true,"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":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"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-pir","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d84fe776b71427fcc94fd11bcb0244178b04fff72f00f1ab304359e791612dfb","features":{"default":[],"has-bitwuzla":[],"has-boolector":[],"has-easy-smt":[],"unstable-dslx-specialize":[]},"features2":{"with-bitwuzla-binary-test":["with-easy-smt"],"with-bitwuzla-built":["dep:bitwuzla-sys","bitwuzla-sys/vendor-cadical","has-bitwuzla"],"with-bitwuzla-system":["dep:bitwuzla-sys","has-bitwuzla"],"with-boolector-binary-test":["with-easy-smt"],"with-boolector-built":["dep:boolector-sys","dep:boolector-sys","boolector-sys/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector-sys","dep:boolector-sys","has-boolector"],"with-easy-smt":["dep:easy-smt","has-easy-smt"],"with-z3-binary-test":["with-easy-smt"]},"yanked":false,"pubtime":"2026-03-13T19:36:09Z","v":2}