splr 0.17.2

A modern CDCL SAT solver in Rust
Documentation

splr

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

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

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)

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

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

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.