{"name":"splr","vers":"0.1.0","deps":[{"name":"structopt","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa23ec651cae7485887ab360710730a50ac7355991b56e0f8f7f115133d35b30","features":{},"yanked":false,"pubtime":"2019-02-15T01:46:44Z"}
{"name":"splr","vers":"0.1.1","deps":[{"name":"bitflags","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"315134e99ac2daff06c8ab1052dbceaa94bfddce1e4f4b6065c1064227264440","features":{},"yanked":false,"pubtime":"2019-02-23T01:57:35Z"}
{"name":"splr","vers":"0.1.2","deps":[{"name":"bitflags","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a9ba4b4b42e1585b137ab110c81f29d3679d7bd533ed6a9f0f6026ac99214714","features":{},"yanked":false,"pubtime":"2019-03-07T03:54:17Z"}
{"name":"splr","vers":"0.1.3","deps":[{"name":"bitflags","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"146e35cb2a88a3a5fb89063870daabb55b24a9a0cba3862f3b617e1da9bf88db","features":{},"yanked":false,"pubtime":"2019-05-08T12:40:12Z"}
{"name":"splr","vers":"0.1.4","deps":[{"name":"bitflags","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bda93ed1f235bd798e267a9a129660f79109d29cc4ec8b0773461f3b0b45115b","features":{},"yanked":false,"pubtime":"2019-09-14T08:13:39Z"}
{"name":"splr","vers":"0.1.5","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8f71f8d8437e019cb72619181d25b86878a9396b99f42b214d1922c5ea24c24e","features":{},"yanked":false,"pubtime":"2019-10-29T13:01:13Z"}
{"name":"splr","vers":"0.2.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cfd8c3e67aae15b1a98d35567466ddd76461442ed86de6173a23cb6bbdc32a1c","features":{},"yanked":false,"pubtime":"2019-11-28T23:58:40Z"}
{"name":"splr","vers":"0.2.1","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"755b21d7155e18b2f480b9980fa098286875eaaa10b3106c631c1433bb152504","features":{},"yanked":false,"pubtime":"2019-12-16T23:48:45Z"}
{"name":"splr","vers":"0.3.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0bcb462411d4dda492cbca77ebad3e908b7567738db6ae30a6941cfd974ebcc7","features":{},"yanked":false,"pubtime":"2020-02-10T14:16:04Z"}
{"name":"splr","vers":"0.3.1","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aea7b33f49a09ed18ef1120411b5f987151801fa1c44f0b9a695fce1864b0c38","features":{},"yanked":false,"pubtime":"2020-02-22T06:51:15Z"}
{"name":"splr","vers":"0.3.2","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"896ab3e665f1b131163abf3e4d4d64747b466bef523c9c3c6be27e19addf340f","features":{},"yanked":false,"pubtime":"2020-03-21T08:17:24Z"}
{"name":"splr","vers":"0.4.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"copyless","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a8a5bf1319aca937ecc7df916213b704c374b4c42515a1acd11da596b4e1628f","features":{"EVSIDS":[],"boundary_check":[],"default":[],"ema_calibration":[],"no_IO":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2020-05-06T19:03:05Z"}
{"name":"splr","vers":"0.4.1","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5f3f5993b878661ddeae5c1fac7a62434f1cba7a9ef74bc6b02a7e43f24007a8","features":{"EVSIDS":[],"boundary_check":[],"cli":["libc","structopt"],"default":[],"ema_calibration":[],"incremental_solver":[],"no_IO":[],"temp_order":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2020-05-28T13:42:46Z"}
{"name":"splr","vers":"0.5.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"212c51f9e86f8124559ad2f270863a9094ae9d960c4304abfb30fd9037eba1cf","features":{"EVSIDS":[],"boundary_check":[],"cli":["libc","structopt"],"default":["cli"],"ema_calibration":[],"incremental_solver":[],"no_IO":[],"temp_order":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2020-08-31T03:50:38Z"}
{"name":"splr","vers":"0.6.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3e856697e23e08396b1d80ac6076f33430566cf4a68890ba0dedbe4ea834d472","features":{"EVSIDS":[],"boundary_check":[],"default":["staging"],"ema_calibration":[],"explore_timestamp":["staging"],"extra_var_reward":[],"incremental_solver":[],"luby_blocking":[],"moving_var_reward_rate":[],"no_IO":[],"progress_ACC":[],"progress_MLD":[],"staging":["extra_var_reward"],"strategy_adaptation":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2021-01-16T13:51:07Z"}
{"name":"splr","vers":"0.6.1","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a30af6e55403c2d9fe514ad33e98eef5f4c02bce361f63d999dea53f83dbb87","features":{"EVSIDS":[],"boundary_check":[],"default":["staging"],"ema_calibration":[],"explore_timestamp":["staging"],"extra_var_reward":[],"incremental_solver":[],"luby_blocking":[],"moving_var_reward_rate":[],"no_IO":[],"progress_ACC":[],"progress_MLD":[],"staging":["extra_var_reward"],"strategy_adaptation":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2021-01-16T14:20:09Z"}
{"name":"splr","vers":"0.6.2","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"116a55ab786e2f9bdd0b6087fb1b45ce8da04f055ef678796d6c580e32e39fba","features":{"EVSIDS":[],"boundary_check":[],"default":["staging"],"ema_calibration":[],"explore_timestamp":["staging"],"extra_var_reward":[],"incremental_solver":[],"luby_blocking":[],"moving_var_reward_rate":[],"no_IO":[],"progress_ACC":[],"progress_MLD":[],"staging":["extra_var_reward"],"strategy_adaptation":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2021-01-20T08:55:00Z"}
{"name":"splr","vers":"0.6.3","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"59bdeefa6ac2edc7cb200b5a45859330cfbf1449723888055d512644158819e9","features":{"EVSIDS":[],"boundary_check":[],"default":["staging"],"ema_calibration":[],"explore_timestamp":["staging"],"extra_var_reward":[],"incremental_solver":[],"just_used":[],"luby_blocking":[],"moving_var_reward_rate":[],"no_IO":[],"progress_ACC":[],"progress_MLD":[],"pure_stabilization":[],"staging":["extra_var_reward"],"strategy_adaptation":[],"trace_analysis":[],"trace_elimination":[]},"yanked":false,"pubtime":"2021-02-13T05:45:20Z"}
{"name":"splr","vers":"0.7.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b9d942d76ffea78fa472f0fa71e0711f8aa5c87eddc01cd433c2d68c9df91354","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":[]},"yanked":false,"pubtime":"2021-03-14T05:14:06Z"}
{"name":"splr","vers":"0.10.0","deps":[{"name":"bitflags","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f918157f28d26a5227a259003676916cebd86e353a0e18807c394b7646e56469","features":{"EMA_calibration":[],"EVSIDS":[],"LR_rewarding":[],"Luby_stabilization":[],"best_phases_tracking":[],"bi_clause_completion":[],"boundary_check":[],"clause_elimination":[],"clause_reduction":[],"clause_vivification":[],"debug_propagation":[],"default":["bi_clause_completion","clause_elimination","clause_reduction","clause_vivification","LR_rewarding","Luby_stabilization","reason_side_rewarding","rephase","unsafe_access"],"hashed_watch_cache":[],"incremental_solver":[],"just_used":[],"luby_restart":[],"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":[]},"yanked":false,"pubtime":"2021-07-11T09:20:01Z"}
{"name":"splr","vers":"0.11.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f00225539894780c09a62309596b3140cea06cfd4061b95f2bb0fa2b3f68ecec","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":[]},"yanked":false,"pubtime":"2021-08-17T01:15:25Z"}
{"name":"splr","vers":"0.12.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a3ea0339fc52c668e732106610c5f66d10f9db3042e0893dfe0b99a7ecb97322","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","unsafe_access"],"dynamic_restart_threshold":[],"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":[]},"yanked":false,"pubtime":"2021-09-25T12:32:16Z"}
{"name":"splr","vers":"0.13.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"47772f64d0e3ad91d93d8204beb839774cae2684f8379664f074d0e605c9afa4","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":[],"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":[],"trail_saving":[],"unsafe_access":[]},"yanked":false,"pubtime":"2021-10-12T00:26:14Z"}
{"name":"splr","vers":"0.14.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"586d3bda0b3930559ed2289d0aeca9756cb8b5097a469adee766d1b06ef609fa","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":[]},"yanked":false,"pubtime":"2021-11-01T12:59:26Z"}
{"name":"splr","vers":"0.15.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03f48cd95f8af04dd03f1bb8f77d249880471390b1ad949ee363fe18be102db6","features":{"EMA_calibration":[],"EVSIDS":[],"LRB_rewarding":[],"assign_rate":[],"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","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"],"support_user_assumption":[],"suppress_reason_chain":[],"trace_analysis":[],"trace_elimination":[],"trace_equivalency":[],"trail_saving":[],"unsafe_access":[]},"yanked":false,"pubtime":"2022-05-16T11:13:46Z"}
{"name":"splr","vers":"0.16.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cnf","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cf91b83f9a7aba21eb601cfa0a5b34be150337f92524f4e6df61166edcecc960","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":[]},"yanked":false,"pubtime":"2022-09-06T13:56:40Z"}
{"name":"splr","vers":"0.16.2","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"55c4c50b66f763c2958fa8d760ca1c53bd1f27a9ff89be8d0b92d09473a6082c","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":[]},"yanked":false,"pubtime":"2022-09-07T12:52:37Z"}
{"name":"splr","vers":"0.16.3","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f3cb9dec25138c104e34e3f2748040150481717162de33512f61887e154ec805","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":[]},"yanked":false,"pubtime":"2022-09-16T06:05:40Z"}
{"name":"splr","vers":"0.17.0","deps":[{"name":"bitflags","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"50ec3c32c42dae138a58f2ee229daffcfda785f839aee09059d04f5817091ab3","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":[],"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":[]},"yanked":false,"rust_version":"1.65","pubtime":"2023-01-30T21:04:15Z"}
{"name":"splr","vers":"0.17.1","deps":[{"name":"bitflags","req":"^2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f854e0085e5045046c082080c1ed41a346eb15d07afa526f960e35b09b495d8c","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":[],"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":[]},"yanked":false,"rust_version":"1.65","pubtime":"2023-07-09T23:18:11Z"}
{"name":"splr","vers":"0.17.2","deps":[{"name":"bitflags","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"instant","req":"^0.1","features":["wasm-bindgen"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6c8d72268886573a95520ff76c282876c69d3776e02a0b4ac8eea2b310d69ca","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":[]},"yanked":false,"rust_version":"1.65","pubtime":"2024-02-04T05:45:46Z"}