{
  "cksum": "b9d942d76ffea78fa472f0fa71e0711f8aa5c87eddc01cd433c2d68c9df91354",
  "crate_file": "splr-0.7.0.crate",
  "crate_url": "https://static.crates.io/crates/splr/splr-0.7.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^1.2",
      "target": null
    }
  ],
  "features": {
    "EVSIDS": [],
    "LR_rewarding": [],
    "Luby_stabilization": [],
    "best_phases_reuse": [],
    "best_phases_tracking": [],
    "boundary_check": [],
    "clause_elimination": [],
    "clause_reduction": [],
    "clause_vivification": [],
    "default": [
      "clause_elimination",
      "clause_reduction",
      "LR_rewarding",
      "Luby_stabilization",
      "reason_side_rewarding"
    ],
    "ema_calibration": [],
    "incremental_solver": [],
    "just_used": [],
    "luby_restart": [],
    "no_IO": [],
    "reason_side_rewarding": [],
    "strategy_adaptation": [],
    "trace_analysis": [],
    "trace_elimination": [],
    "var_staging": []
  },
  "index_path": "sp/lr/splr",
  "name": "splr",
  "pubtime": "2021-03-14T05:14:06Z",
  "vers": "0.7.0",
  "yanked": false
}