{"name":"oxiz-proof","vers":"0.1.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"29468c5202c573d29f8cadd294179a81f5f1b1ebd49e3615699558530946f503","features":{"default":[],"sat-integration":["oxiz-sat"]},"features2":{"serde":["dep:serde","smallvec/serde"]},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-12T04:36:54Z","v":2}
{"name":"oxiz-proof","vers":"0.1.1","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fc43cea88372cb79dcebb6ab7cb262ba072001cf062e50ac2acecd580fe96c27","features":{"default":[],"sat-integration":["oxiz-sat"]},"features2":{"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-01-12T15:39:45Z","v":2}
{"name":"oxiz-proof","vers":"0.1.2","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2c0962669f4a093d0203c5247d7e9c73e201cb369cfd7713ffe2e9ba3402753c","features":{"default":[],"sat-integration":["oxiz-sat"]},"features2":{"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-01-21T05:20:36Z","v":2}
{"name":"oxiz-proof","vers":"0.1.3","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6d0d97f4554177be2947a5ba6f01ed50c697d54696d16b0503f03b7c2631b1d3","features":{"default":[],"sat-integration":["oxiz-sat"]},"features2":{"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-02-06T03:42:22Z","v":2}
{"name":"oxiz-proof","vers":"0.2.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.2.0","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.2.0","features":["std"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"8fccadd966c06fa7822a8d3632bd90157b0192751fa786a0b8bec45c5d202549","features":{"default":[],"sat-integration":["oxiz-sat"]},"features2":{"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-04-04T01:49:55Z","v":2}
{"name":"oxiz-proof","vers":"0.2.1","deps":[{"name":"bumpalo","req":"^3.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.2.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.2.1","features":["std"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde","union"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"a5cdaefb17df92a1c454bac2e3a6cb1e10e0c40af98991a424b24aa23ab7a39f","features":{"default":[],"profiling":["oxiz-core/profiling"],"sat-integration":["oxiz-sat"]},"features2":{"arena":["dep:bumpalo"],"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-04-25T17:03:48Z","v":2}
{"name":"oxiz-proof","vers":"0.2.2","deps":[{"name":"bumpalo","req":"^3.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.2.2","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.2.2","features":["std"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde","union"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"7b9527591f7686a955459ab1125d4c5c0ad5655de6319a7e745512983598defc","features":{"default":[],"profiling":["oxiz-core/profiling"],"sat-integration":["oxiz-sat"]},"features2":{"arena":["dep:bumpalo"],"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-05-31T18:57:33Z","v":2}
{"name":"oxiz-proof","vers":"0.2.3","deps":[{"name":"bumpalo","req":"^3.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-bigint","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.2.3","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.2.3","features":["std"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde","union"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"2f47d7cf8a5724427753bb7a1af6bc0ef1b89e8487e9304c5d959ac59434309e","features":{"default":[],"profiling":["oxiz-core/profiling"],"sat-integration":["oxiz-sat"]},"features2":{"arena":["dep:bumpalo"],"serde":["dep:serde","smallvec/serde"]},"yanked":false,"pubtime":"2026-06-09T03:25:50Z","v":2}