{"name":"oxiz-solver","vers":"0.1.0","deps":[{"name":"criterion","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.11","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":"smallvec","req":"^1.15","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":"ad0d9807521cb390bd708bb2f2882aee11343c6858e751fd2942a8ccb88fc07b","features":{},"yanked":true,"rust_version":"1.85","pubtime":"2026-01-12T05:02:40Z"}
{"name":"oxiz-solver","vers":"0.1.1","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.11","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":"smallvec","req":"^1.15","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":"3b4717d8febc3671a12aa68d7bc05e03520b420ca55620f02adf633111ea4e7f","features":{},"yanked":false,"pubtime":"2026-01-12T15:48:24Z"}
{"name":"oxiz-solver","vers":"0.1.2","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.11","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":"smallvec","req":"^1.15","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":"b155a3f79234ca75c9387d054e7c202a9df83d217adf03073d1d8d4b489506e1","features":{},"yanked":false,"pubtime":"2026-01-21T05:24:34Z"}
{"name":"oxiz-solver","vers":"0.1.3","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.11","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":"smallvec","req":"^1.15","features":["serde"],"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":"0e4925dde74867d470fd7c6b57e58e6219187baefa86340c1d9a202480b6d06a","features":{"default":[],"property-tests":[]},"yanked":false,"pubtime":"2026-02-06T03:53:33Z"}
{"name":"oxiz-solver","vers":"0.2.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"hashbrown","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":["num-bigint"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-core","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-proof","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-sat","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"portable-atomic-util","req":"^0.2","features":["alloc"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.15","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"67f5c09b29542e796067f74f3f3f2b69a0466e7095cc494e680a17868c33185a","features":{"default":["std"],"parallel-theories":["rayon"],"property-tests":[],"std":["oxiz-core/std","oxiz-sat/std","oxiz-theories/std","rayon","tracing","tracing/std","num-bigint/std","num-rational/std","num-traits/std","rustc-hash/std","oxiz-proof"]},"yanked":false,"pubtime":"2026-04-04T01:54:00Z"}