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 32 feature flags, 11 of them enabled by default.

default

  • unsafe_access
  • dynamic_restart_threshold
  • LRB_rewarding
  • reason_side_rewarding
  • rephase
  • reward_annealing
  • two_mode_reduction
  • trail_saving
  • clause_vivification

unsafe_access

    This feature flag does not enable additional features.

dynamic_restart_threshold

    This feature flag does not enable additional features.

LRB_rewarding

    This feature flag does not enable additional features.

reason_side_rewarding

    This feature flag does not enable additional features.

rephase

  • best_phases_tracking

reward_annealing

    This feature flag does not enable additional features.

two_mode_reduction

    This feature flag does not enable additional features.

trail_saving

    This feature flag does not enable additional features.

clause_vivification

    This feature flag does not enable additional features.

best_phases_tracking

    This feature flag does not enable additional features.

  • rephase

platform_wasm

  • instant

instant

  • dep:instant

incremental_solver

  • no_clause_elimination

suppress_reason_chain

    This feature flag does not enable additional features.

assign_rate

    This feature flag does not enable additional features.

EMA_calibration

    This feature flag does not enable additional features.

trace_equivalency

    This feature flag does not enable additional features.

EVSIDS

    This feature flag does not enable additional features.

bi_clause_completion

    This feature flag does not enable additional features.

no_clause_elimination

    This feature flag does not enable additional features.

clause_rewarding

    This feature flag does not enable additional features.

no_IO

    This feature flag does not enable additional features.

maintain_watch_cache

    This feature flag does not enable additional features.

trace_analysis

    This feature flag does not enable additional features.

boundary_check

    This feature flag does not enable additional features.

just_used

    This feature flag does not enable additional features.

support_user_assumption

    This feature flag does not enable additional features.

trace_elimination

    This feature flag does not enable additional features.

debug_propagation

    This feature flag does not enable additional features.

chrono_BT

    This feature flag does not enable additional features.