splr 0.11.0

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

default

  • bi_clause_completion
  • clause_elimination
  • clause_vivification
  • LR_rewarding
  • Luby_stabilization
  • reason_side_rewarding
  • rephase
  • unsafe_access

bi_clause_completion

    This feature flag does not enable additional features.

clause_elimination

    This feature flag does not enable additional features.

clause_vivification

    This feature flag does not enable additional features.

LR_rewarding

    This feature flag does not enable additional features.

Luby_stabilization

    This feature flag does not enable additional features.

reason_side_rewarding

    This feature flag does not enable additional features.

rephase

  • best_phases_tracking

unsafe_access

    This feature flag does not enable additional features.

best_phases_tracking

    This feature flag does not enable additional features.

strategy_adaptation

    This feature flag does not enable additional features.

Luby_restart

    This feature flag does not enable additional features.

debug_propagation

    This feature flag does not enable additional features.

EVSIDS

    This feature flag does not enable additional features.

support_user_assumption

    This feature flag does not enable additional features.

incremental_solver

    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.

hashed_watch_cache

    This feature flag does not enable additional features.

maintain_watch_cache

    This feature flag does not enable additional features.

EMA_calibration

    This feature flag does not enable additional features.

no_IO

    This feature flag does not enable additional features.

adjust_restart_parameters

    This feature flag does not enable additional features.

trace_equivalency

    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.