cadical(1) on Linux
The text 1fef6cb62446, as Debian 13 (Trixie) shipped it. The page shows this text now.
CaDiCaL Simplified Satisfiability Solver
Flags it lists
-
--arena -
--arenacompact -
--arenasort -
--arenatype -
--binary -
--block -
--blockmaxclslim -
--blockminclslim -
--blockocclim -
--build -
--bump -
--bumpreason -
--bumpreasondepth -
--check -
--checkassumptions -
--checkconstraint -
--checkfailed -
--checkfrozen -
--checkproof -
--checkprooflrat -
--checkwitness -
--chrono -
--chronoalways -
--chronolevelim -
--chronoreusetrail -
--colors -
--compact -
--compactint -
--compactlim -
--compactmin -
--condition -
--conditionint -
--conditionmaxeff -
--conditionmaxrat -
--conditionmineff -
--conditionreleff -
--copyright -
--cover -
--covermaxclslim -
--covermaxeff -
--coverminclslim -
--covermineff -
--coverreleff -
--decompose -
--decomposerounds -
--deduplicate -
--default -
--eagersubsume -
--eagersubsumelim -
--elim -
--elimands -
--elimaxeff -
--elimbackward -
--elimboundmax -
--elimboundmin -
--elimclslim -
--elimequivs -
--elimineff -
--elimint -
--elimites -
--elimlimited -
--elimocclim -
--elimprod -
--elimreleff -
--elimrounds -
--elimsubst -
--elimsum -
--elimxorlim -
--elimxors -
--emagluefast -
--emaglueslow -
--emajump -
--emalevel -
--emasize -
--ematrailfast -
--ematrailslow -
--flush -
--flushfactor -
--flushint -
--force -
--forcephase -
--help -
--inprocessing -
--instantiate -
--instantiateonce -
--lrat -
--lratexternal -
--lratfrat -
--lratveripb -
--lucky -
--minimize -
--minimizedepth -
--no-colors -
--no-witness -
--otfs -
--phase -
--plain -
--probe -
--probehbr -
--probeint -
--probemaxeff -
--probemineff -
--probereleff -
--proberounds -
--profile -
--quiet -
--radixsortlim -
--realtime -
--reduce -
--reduceint -
--reducetarget -
--reducetier1glue -
--reducetier2glue -
--reluctant -
--reluctantmax -
--rephase -
--rephaseint -
--report -
--reportall -
--reportsolve -
--restart -
--restartint -
--restartmargin -
--restartreusetrail -
--restoreall -
--restoreflush -
--reverse -
--sat -
--score -
--scorefactor -
--seed -
--shrink -
--shrinkreap -
--shuffle -
--shufflequeue -
--shufflerandom -
--shufflescores -
--stabilize -
--stabilizeint -
--stabilizemaxint -
--stabilizeonly -
--stats -
--strict -
--subsume -
--subsumebinlim -
--subsumeclslim -
--subsumeint -
--subsumelimited -
--subsumemaxeff -
--subsumemineff -
--subsumeocclim -
--subsumereleff -
--subsumestr -
--target -
--terminateint -
--ternary -
--ternarymaxadd -
--ternarymaxeff -
--ternarymineff -
--ternaryocclim -
--ternaryreleff -
--ternaryrounds -
--transred -
--transredmaxeff -
--transredmineff -
--transredreleff -
--unsat -
--verbose -
--version -
--vivify -
--vivifyinst -
--vivifymaxeff -
--vivifymineff -
--vivifyonce -
--vivifyredeff -
--vivifyreleff -
--walk -
--walkmaxeff -
--walkmineff -
--walknonstable -
--walkredundant -
--walkreleff -
-c -
-d -
-e -
-f -
-h -
-n -
-o -
-q -
-r -
-t -
-v -
-w