{"name":"yaspar-ir","vers":"2.7.0","deps":[{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8383eb829625d36c60d107b7f05a351d25e06b88da185efc17d06e9d0617c97f","features":{"cache":[],"default":["none"],"none":[]},"features2":{"all":["cnf","implicant-generation"],"cnf":["dep:sat-interface","cache"],"implicant-generation":["cnf"]},"yanked":false,"pubtime":"2026-02-11T19:20:13Z","v":2}
{"name":"yaspar-ir","vers":"2.7.1","deps":[{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6ad2eafc85fd03f933011b0095855105b69c4a7a3c2506a2ff8d4bf337d7c15","features":{"cache":[],"default":["none"],"none":[]},"features2":{"all":["cnf","implicant-generation"],"cnf":["dep:sat-interface","cache"],"implicant-generation":["cnf"]},"yanked":false,"pubtime":"2026-03-02T23:39:16Z","v":2}
{"name":"yaspar-ir","vers":"2.7.2","deps":[{"name":"cvc5-rs","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f1f67fa028435eb71a4a13dee2dd6bd579c2a68531dd6417bef02c0a69918e92","features":{"cache":[],"default":["none"],"none":[]},"features2":{"all":["cnf","implicant-generation"],"cnf":["dep:sat-interface","cache"],"cvc5":["dep:cvc5-rs"],"implicant-generation":["cnf"]},"yanked":false,"pubtime":"2026-03-18T23:10:41Z","v":2}
{"name":"yaspar-ir","vers":"2.7.3","deps":[{"name":"cvc5","req":"^0.4","features":["static"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"delegate","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"976051e50729ee63f2f09962ceb54cd51862adf7206fc54699fcabd540999324","features":{"cache":[],"default":["none"],"none":[]},"features2":{"all":["cnf","implicant-generation"],"cnf":["dep:sat-interface","cache"],"cvc5":["dep:cvc5"],"implicant-generation":["cnf"],"regression":["all","cvc5"]},"yanked":false,"pubtime":"2026-05-04T23:55:24Z","v":2}
{"name":"yaspar-ir","vers":"2.7.4","deps":[{"name":"bimap","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cvc5","req":"^0.4","features":["static"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"delegate","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3f02012fc4663bb53d9c3cccbbdb8f7ac5ccbdf9b377a4278ffbd661227ad390","features":{"cache":[],"default":["none"],"finite-set":[],"none":[]},"features2":{"all":["cnf","implicant-generation","finite-set"],"cnf":["dep:sat-interface","cache"],"cvc5":["dep:cvc5"],"implicant-generation":["cnf"],"regression":["all","cvc5"]},"yanked":false,"pubtime":"2026-06-16T00:16:38Z","v":2}
{"name":"yaspar-ir","vers":"2.7.5","deps":[{"name":"bimap","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cvc5","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dashu","req":"^0.4.2","features":["serde","num-traits","num-order"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"delegate","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashconsing","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-order","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","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":"sat-interface","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"yaspar","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e9a6adf67ef17b4ec6cfb4652a844d1c14d70f46b90bd821f1b6f81bd42b7db8","features":{"cache":[],"default":["none"],"finite-set":[],"none":[]},"features2":{"all":["cnf","implicant-generation","finite-set"],"cnf":["dep:sat-interface","cache"],"cvc5":["cvc5-dep","cvc5/static"],"cvc5-dep":["dep:cvc5"],"cvc5-dynamic":["cvc5-dep"],"cvc5-parser":["cvc5?/parser"],"implicant-generation":["cnf"],"regression":["all","cvc5"]},"yanked":false,"pubtime":"2026-06-30T20:23:09Z","v":2}