{"name":"oxiz-theories","vers":"0.1.0","deps":[{"name":"egg","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"46bee70b76da86af31e4a2b7233343af9f9954ec90c9d0148e87c4ae63f34671","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-12T04:56:06Z"}
{"name":"oxiz-theories","vers":"0.1.1","deps":[{"name":"egg","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"9c6a83fe4a16269ad4415dfe5dba778844c10cbc35673c7db8dba40f62d337bb","features":{},"yanked":false,"pubtime":"2026-01-12T15:44:24Z"}
{"name":"oxiz-theories","vers":"0.1.2","deps":[{"name":"egg","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"386f041263154b4cae5d41f87a42f23f2bc13f4e9d3bb00edaf9734bd3b36171","features":{},"yanked":false,"pubtime":"2026-01-21T05:23:22Z"}
{"name":"oxiz-theories","vers":"0.1.3","deps":[{"name":"egg","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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-math","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-nlsat","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":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"6db6fc5566ea760bc079007d5ba3879b1f15e2be46a1be842679537cf3dff266","features":{},"yanked":false,"pubtime":"2026-02-06T03:50:35Z"}
{"name":"oxiz-theories","vers":"0.2.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"egg","req":"^0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"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-math","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-nlsat","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":"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":"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":"9bc7b1f2e517bfd4d3773bcfe6bc005439427a6a3f1a18a4f6dac89af1c0c745","features":{"default":["std"],"std":["oxiz-core/std","oxiz-sat/std","oxiz-math/std","egg","oxiz-nlsat","tracing","tracing/std","num-rational/std","num-bigint/std","num-traits/std","rustc-hash/std"]},"yanked":false,"pubtime":"2026-04-04T01:52:46Z"}