Commit a5f75884 authored by Romain Wallon's avatar Romain Wallon

Adds back a CLI option that had been removed

parent 7ce27840
Pipeline #9138 passed with stages
in 105 minutes and 33 seconds
......@@ -101,8 +101,8 @@ public class KTHLauncher {
"Restart strategy to apply, among luby, picosat, lbd, size");
options.addOption("b", "bump-strategy", true,
"Bumping strategy to apply, among one, degree, coefficient, ratio");
options.addOption("br", "bumper", true,
"Literal bumper, among any, assigned and falsified");
options.addOption("lcds", "deletion-strategy", true,
"Learned constraint deletion strategy, among lbd, assigned, unassigned-same, unassigned-different, effective,, degree");
options.addOption("br", "bumper", true,
"Literal bumper, among any, assigned and falsified");
options.addOption("db", "double-bump-clashing", false,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment