{"name":"oxiz","vers":"0.1.1","deps":[{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"oxiz-core","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-math","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-nlsat","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-opt","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-proof","req":"^0.1.1","features":[],"optional":true,"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":"oxiz-solver","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-spacer","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"da9602d88fed03aa66ece63bb133114731d18c29268ec70fe1b61dc239a23fab","features":{},"features2":{"default":["solver"],"full":["standard","spacer"],"nlsat":["dep:oxiz-nlsat","solver"],"optimization":["dep:oxiz-opt","solver"],"proof":["dep:oxiz-proof","solver"],"solver":["dep:oxiz-sat","dep:oxiz-theories","dep:oxiz-solver"],"spacer":["dep:oxiz-spacer","solver"],"standard":["solver","nlsat","optimization","proof"]},"yanked":false,"pubtime":"2026-01-12T15:52:48Z","v":2}
{"name":"oxiz","vers":"0.1.2","deps":[{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"oxiz-core","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-math","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-nlsat","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-opt","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-proof","req":"^0.1.2","features":[],"optional":true,"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":"oxiz-solver","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-spacer","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a0161e7bb443238aeb22fe77138734c2bf46f4bf1af63f84951346ea129eb14a","features":{},"features2":{"default":["solver"],"full":["standard","spacer"],"nlsat":["dep:oxiz-nlsat","solver"],"optimization":["dep:oxiz-opt","solver"],"proof":["dep:oxiz-proof","solver"],"solver":["dep:oxiz-sat","dep:oxiz-theories","dep:oxiz-solver"],"spacer":["dep:oxiz-spacer","solver"],"standard":["solver","nlsat","optimization","proof"]},"yanked":false,"pubtime":"2026-01-21T05:28:12Z","v":2}
{"name":"oxiz","vers":"0.1.3","deps":[{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-opt","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-proof","req":"^0.1.3","features":[],"optional":true,"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":"oxiz-solver","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-spacer","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d37e1dcd674d072a5bad96d02e7e03dcbbfc5edf70dc86c8dce868d99a9bb9ea","features":{},"features2":{"default":["solver"],"full":["standard","spacer"],"nlsat":["dep:oxiz-nlsat","solver"],"optimization":["dep:oxiz-opt","solver"],"proof":["dep:oxiz-proof","solver"],"solver":["dep:oxiz-sat","dep:oxiz-theories","dep:oxiz-solver"],"spacer":["dep:oxiz-spacer","solver"],"standard":["solver","nlsat","optimization","proof"]},"yanked":false,"pubtime":"2026-02-06T03:58:49Z","v":2}
{"name":"oxiz","vers":"0.2.0","deps":[{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"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-opt","req":"^0.2.0","features":[],"optional":true,"default_features":true,"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-solver","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"oxiz-spacer","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxiz-theories","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"c87890a1601523cb0dd8b2ffb007f0ba842ca1f05a290dc6ef2b36fe1b1cb185","features":{"default":["std"],"std":["oxiz-core/std","oxiz-math/std","oxiz-sat/std","oxiz-theories/std","oxiz-solver/std"]},"features2":{"full":["standard","spacer"],"nlsat":["dep:oxiz-nlsat","std"],"optimization":["dep:oxiz-opt","std"],"proof":["dep:oxiz-proof","std"],"spacer":["dep:oxiz-spacer","std"],"standard":["nlsat","optimization","proof"]},"yanked":false,"pubtime":"2026-04-04T01:56:20Z","v":2}