splr 0.7.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 20 feature flags, 6 of them enabled by default.

default

  • clause_elimination
  • clause_reduction
  • LR_rewarding
  • Luby_stabilization
  • reason_side_rewarding

clause_elimination

    This feature flag does not enable additional features.

clause_reduction

    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.

incremental_solver

    This feature flag does not enable additional features.

var_staging

    This feature flag does not enable additional features.

luby_restart

    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.

clause_vivification

    This feature flag does not enable additional features.

best_phases_reuse

    This feature flag does not enable additional features.

trace_elimination

    This feature flag does not enable additional features.

best_phases_tracking

    This feature flag does not enable additional features.

trace_analysis

    This feature flag does not enable additional features.

strategy_adaptation

    This feature flag does not enable additional features.

no_IO

    This feature flag does not enable additional features.

just_used

    This feature flag does not enable additional features.

boundary_check

    This feature flag does not enable additional features.