{
  "cksum": "c6c8d72268886573a95520ff76c282876c69d3776e02a0b4ac8eea2b310d69ca",
  "crate_file": "splr-0.17.2.crate",
  "crate_url": "https://static.crates.io/crates/splr/splr-0.17.2.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^2.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "wasm-bindgen"
      ],
      "kind": "normal",
      "name": "instant",
      "optional": true,
      "req": "^0.1",
      "target": null
    }
  ],
  "features": {
    "EMA_calibration": [],
    "EVSIDS": [],
    "LRB_rewarding": [],
    "assign_rate": [],
    "best_phases_tracking": [],
    "bi_clause_completion": [],
    "boundary_check": [],
    "chrono_BT": [],
    "clause_rewarding": [],
    "clause_vivification": [],
    "debug_propagation": [],
    "default": [
      "unsafe_access",
      "dynamic_restart_threshold",
      "LRB_rewarding",
      "reason_side_rewarding",
      "rephase",
      "reward_annealing",
      "two_mode_reduction",
      "trail_saving",
      "clause_vivification"
    ],
    "dynamic_restart_threshold": [],
    "incremental_solver": [
      "no_clause_elimination"
    ],
    "just_used": [],
    "maintain_watch_cache": [],
    "no_IO": [],
    "no_clause_elimination": [],
    "platform_wasm": [
      "instant"
    ],
    "reason_side_rewarding": [],
    "rephase": [
      "best_phases_tracking"
    ],
    "reward_annealing": [],
    "stochastic_local_search": [
      "rephase"
    ],
    "support_user_assumption": [],
    "suppress_reason_chain": [],
    "trace_analysis": [],
    "trace_elimination": [],
    "trace_equivalency": [],
    "trail_saving": [],
    "two_mode_reduction": [],
    "unsafe_access": []
  },
  "index_path": "sp/lr/splr",
  "name": "splr",
  "pubtime": "2024-02-04T05:45:46Z",
  "rust_version": "1.65",
  "vers": "0.17.2",
  "yanked": false
}