{
  "cksum": "586d3bda0b3930559ed2289d0aeca9756cb8b5097a469adee766d1b06ef609fa",
  "crate_file": "splr-0.14.0.crate",
  "crate_url": "https://static.crates.io/crates/splr/splr-0.14.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^1.3",
      "target": null
    }
  ],
  "features": {
    "EMA_calibration": [],
    "EVSIDS": [],
    "LRB_rewarding": [],
    "Luby_restart": [],
    "Luby_stabilization": [],
    "best_phases_tracking": [],
    "bi_clause_completion": [],
    "boundary_check": [],
    "chrono_BT": [],
    "clause_elimination": [],
    "clause_rewarding": [],
    "clause_vivification": [],
    "debug_propagation": [],
    "default": [
      "clause_elimination",
      "clause_vivification",
      "dynamic_restart_threshold",
      "LRB_rewarding",
      "Luby_stabilization",
      "reason_side_rewarding",
      "rephase",
      "trail_saving",
      "unsafe_access"
    ],
    "dynamic_restart_threshold": [],
    "incremental_solver": [],
    "just_used": [],
    "maintain_watch_cache": [],
    "no_IO": [],
    "reason_side_rewarding": [],
    "rephase": [
      "best_phases_tracking"
    ],
    "strategy_adaptation": [],
    "support_user_assumption": [],
    "suppress_reason_chain": [],
    "trace_analysis": [],
    "trace_elimination": [],
    "trace_equivalency": [],
    "trail_saving": [],
    "unsafe_access": []
  },
  "index_path": "sp/lr/splr",
  "name": "splr",
  "pubtime": "2021-11-01T12:59:26Z",
  "vers": "0.14.0",
  "yanked": false
}