{"name":"pickaxe-rs","vers":"0.1.0","deps":[{"name":"assert_cmd","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"clap","req":"^4","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"pretty_assertions","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustsat","req":"^0.7.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-batsat","req":"^0.7.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02fec24475a6c9b51286024ebe695a90a12f96df0058d9b2b531877bd9fdba7b","features":{},"features2":{"aspartix":["dep:tempfile"],"cadical":["sat","dep:rustsat-cadical"],"cli":["dep:clap","json"],"default":["sat","json","toml-ser"],"iccma":["dep:tempfile"],"json":["dep:serde_json"],"sat":["dep:rustsat","dep:rustsat-batsat"],"toml-ser":["dep:toml"]},"yanked":false,"rust_version":"1.85","pubtime":"2026-03-24T21:18:08Z","v":2}