{
  "cksum": "f00225539894780c09a62309596b3140cea06cfd4061b95f2bb0fa2b3f68ecec",
  "crate_file": "splr-0.11.0.crate",
  "crate_url": "https://static.crates.io/crates/splr/splr-0.11.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^1.3",
      "target": null
    }
  ],
  "features": {
    "EMA_calibration": [],
    "EVSIDS": [],
    "LR_rewarding": [],
    "Luby_restart": [],
    "Luby_stabilization": [],
    "adjust_restart_parameters": [],
    "best_phases_tracking": [],
    "bi_clause_completion": [],
    "boundary_check": [],
    "clause_elimination": [],
    "clause_vivification": [],
    "debug_propagation": [],
    "default": [
      "bi_clause_completion",
      "clause_elimination",
      "clause_vivification",
      "LR_rewarding",
      "Luby_stabilization",
      "reason_side_rewarding",
      "rephase",
      "unsafe_access"
    ],
    "hashed_watch_cache": [],
    "incremental_solver": [],
    "just_used": [],
    "maintain_watch_cache": [],
    "no_IO": [],
    "reason_side_rewarding": [],
    "rephase": [
      "best_phases_tracking"
    ],
    "strategy_adaptation": [],
    "support_user_assumption": [],
    "trace_analysis": [],
    "trace_elimination": [],
    "trace_equivalency": [],
    "unsafe_access": []
  },
  "index_path": "sp/lr/splr",
  "name": "splr",
  "pubtime": "2021-08-17T01:15:25Z",
  "vers": "0.11.0",
  "yanked": false
}