{"name":"decdnnf_rs","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"98f3112ad2be00a14a7386d01d0108dc56e850fa153725c5dac722ede1b461fb","features":{},"yanked":false,"rust_version":"1.72.1","pubtime":"2024-07-15T14:35:46Z"}
{"name":"decdnnf_rs","vers":"1.0.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mpi","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"dd0e82abfe61c05147374b81efa4b02cf2aff40a1f4edd227056dbd801c3223a","features":{},"features2":{"mpi":["dep:bincode","dep:mpi","dep:serde","rug/serde"]},"yanked":false,"rust_version":"1.73.0","pubtime":"2025-09-01T14:26:11Z","v":2}
{"name":"decdnnf_rs","vers":"1.1.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mpi","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"02498f96eae2492e7860eae8149309a6e19e4cb0293d6d7504bc9106d47101f3","features":{},"features2":{"mpi":["dep:bincode","dep:mpi","dep:serde","rug/serde"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2026-02-04T14:50:31Z","v":2}
{"name":"decdnnf_rs","vers":"1.1.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mpi","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"9bed7ba8e4b2c203e7d40fac798930c0155107116d3d1124fa84eba1549e3574","features":{},"features2":{"mpi":["dep:bincode","dep:mpi","dep:serde","rug/serde"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2026-02-18T10:10:53Z","v":2}
{"name":"decdnnf_rs","vers":"1.1.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mpi","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"ed559789b71179523ebb439bb6167f12b17d836ebf2665a2481a23d396a2b972","features":{},"features2":{"mpi":["dep:bincode","dep:mpi","dep:serde","rug/serde"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2026-03-02T12:28:33Z","v":2}
{"name":"decdnnf_rs","vers":"2.0.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cnf-parser","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fern","req":"^0.6.0","features":["colored"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sysinfo","req":"^0.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"fa5ec1e86a1a4cb4bd96376bcc27d499a3a8527ff6cce950e8bf0bdc62b510a2","features":{},"yanked":false,"rust_version":"1.77.2","pubtime":"2026-05-22T08:51:18Z"}