splr 0.6.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 16 feature flags, 3 of them enabled by default.

default

  • staging

staging

  • extra_var_reward

extra_var_reward

    This feature flag does not enable additional features.

explore_timestamp

  • staging

progress_MLD

    This feature flag does not enable additional features.

moving_var_reward_rate

    This feature flag does not enable additional features.

boundary_check

    This feature flag does not enable additional features.

strategy_adaptation

    This feature flag does not enable additional features.

trace_elimination

    This feature flag does not enable additional features.

trace_analysis

    This feature flag does not enable additional features.

luby_blocking

    This feature flag does not enable additional features.

incremental_solver

    This feature flag does not enable additional features.

progress_ACC

    This feature flag does not enable additional features.

EVSIDS

    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.