splr

This version has 31 feature flags, 10 of them enabled by default.

default

• LRB_rewarding (default)
• clause_vivification (default)
• dynamic_restart_threshold (default)
• reason_side_rewarding (default)
• rephase (default)
• reward_annealing (default)
• trail_saving (default)
• two_mode_reduction (default)
• unsafe_access (default)

LRB_rewarding (default)

This feature flag does not enable additional features.

clause_vivification (default)

This feature flag does not enable additional features.

dynamic_restart_threshold (default)

This feature flag does not enable additional features.

reason_side_rewarding (default)

This feature flag does not enable additional features.

rephase (default)

• best_phases_tracking (default)

reward_annealing (default)

This feature flag does not enable additional features.

trail_saving (default)

This feature flag does not enable additional features.

two_mode_reduction (default)

This feature flag does not enable additional features.

unsafe_access (default)

This feature flag does not enable additional features.

best_phases_tracking (default)

This feature flag does not enable additional features.

EMA_calibration

This feature flag does not enable additional features.

EVSIDS

This feature flag does not enable additional features.

assign_rate

This feature flag does not enable additional features.

bi_clause_completion

This feature flag does not enable additional features.

boundary_check

This feature flag does not enable additional features.

chrono_BT

This feature flag does not enable additional features.

clause_rewarding

This feature flag does not enable additional features.

debug_propagation

This feature flag does not enable additional features.

incremental_solver

• no_clause_elimination

instant

• dep:instant

just_used

This feature flag does not enable additional features.

maintain_watch_cache

This feature flag does not enable additional features.

no_IO

This feature flag does not enable additional features.

no_clause_elimination

This feature flag does not enable additional features.

platform_wasm

• instant

stochastic_local_search

• rephase (default)

support_user_assumption

This feature flag does not enable additional features.

suppress_reason_chain

This feature flag does not enable additional features.

trace_analysis

This feature flag does not enable additional features.

trace_elimination

This feature flag does not enable additional features.

trace_equivalency

This feature flag does not enable additional features.