{"name":"xlsynth-autocov","vers":"0.30.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe19bbddbe9b133b58cf18f8e572807dbf069ceac88f9e8ae2aebdf596f084a9","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-02-18T15:39:57Z"}
{"name":"xlsynth-autocov","vers":"0.31.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"666b44c3c4f6d4e0ed3024b652394c6a20f8a5db9942b61d55b80c78105916ae","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-02-18T18:03:29Z"}
{"name":"xlsynth-autocov","vers":"0.32.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14cfe0ab9e95500cfb4dcc8bc1b0c8a032d6ff87d9f974df375aac3f22f943b9","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-02-22T21:49:02Z"}
{"name":"xlsynth-autocov","vers":"0.33.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b97f04dda098cd18c9c0ee004122300b0221e22e1afc30352e8c6d7e50d18d7c","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-02-23T20:55:49Z"}
{"name":"xlsynth-autocov","vers":"0.34.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a96c3021697e3f25978b008ac4ba4efc770265b635206274b219adbf8f257194","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-05T21:01:15Z"}
{"name":"xlsynth-autocov","vers":"0.35.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"64cd680266795b75bf4df7d9aeb7778165984684f3670a17464972d84a4a963e","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-05T23:21:39Z"}
{"name":"xlsynth-autocov","vers":"0.36.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2e24d3921cd3a43e69d390eab1968c2e8ba8dfc741d02cc6e792fbe42350c227","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-09T18:57:32Z"}
{"name":"xlsynth-autocov","vers":"0.37.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e73f947f84cb681eed386b7c4fc808d4e4f5826ccf17a74331331fc5cd71867","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-12T20:49:42Z"}
{"name":"xlsynth-autocov","vers":"0.38.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a33334dcd044fdc0d2b3081cef7e49cee6c6381664a9528a445e240a3be5e621","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-12T22:23:18Z"}
{"name":"xlsynth-autocov","vers":"0.39.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arbitrary","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"blake3","req":"^1.5","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":"ctrlc","req":"^3.4.7","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3","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"},{"name":"xlsynth-prover","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a054700d21a878f6a15492e9ecb736a1e4b5d1ae84f24621d64c7b4f3d13dd8","features":{"default":[],"has-bitwuzla":["xlsynth-prover/has-bitwuzla"],"has-boolector":["xlsynth-prover/has-boolector"],"has-easy-smt":["xlsynth-prover/has-easy-smt"],"with-bitwuzla-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-bitwuzla-built":["xlsynth-prover/with-bitwuzla-built","has-bitwuzla"],"with-bitwuzla-system":["xlsynth-prover/with-bitwuzla-system","has-bitwuzla"],"with-boolector-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"],"with-boolector-built":["xlsynth-prover/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-prover/with-boolector-system","has-boolector"],"with-easy-smt":["xlsynth-prover/with-easy-smt","has-easy-smt"],"with-z3-binary-test":["xlsynth-prover/with-easy-smt","with-easy-smt"]},"yanked":false,"pubtime":"2026-03-13T19:36:53Z"}