{
  "cksum": "f3cb9dec25138c104e34e3f2748040150481717162de33512f61887e154ec805",
  "crate_file": "splr-0.16.3.crate",
  "crate_url": "https://static.crates.io/crates/splr/splr-0.16.3.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^1.3",
      "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": [
      "clause_vivification",
      "dynamic_restart_threshold",
      "LRB_rewarding",
      "reason_side_rewarding",
      "rephase",
      "trail_saving",
      "unsafe_access"
    ],
    "dynamic_restart_threshold": [],
    "incremental_solver": [
      "no_clause_elimination"
    ],
    "just_used": [],
    "maintain_watch_cache": [],
    "no_IO": [],
    "no_clause_elimination": [],
    "reason_side_rewarding": [],
    "rephase": [
      "best_phases_tracking"
    ],
    "support_user_assumption": [],
    "suppress_reason_chain": [],
    "trace_analysis": [],
    "trace_elimination": [],
    "trace_equivalency": [],
    "trail_saving": [],
    "unsafe_access": []
  },
  "index_path": "sp/lr/splr",
  "name": "splr",
  "pubtime": "2022-09-16T06:05:40Z",
  "vers": "0.16.3",
  "yanked": false
}