splr 0.17.2

A modern CDCL SAT solver in Rust

splr

There is currently very little information to present on this page because Docs.rs has only limited support for extracting structured feature metadata from Cargo crates. This issue is tracked in Rust RFC #3416. Check this library's main docs, readme, and Cargo.toml in case its authors have documentation for features available there instead.

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

stochastic_local_search

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.