[dependencies.bitflags]
version = "1.2"
[features]
EVSIDS = []
boundary_check = []
default = ["staging"]
ema_calibration = []
explore_timestamp = ["staging"]
extra_var_reward = []
incremental_solver = []
luby_blocking = []
moving_var_reward_rate = []
no_IO = []
progress_ACC = []
progress_MLD = []
staging = ["extra_var_reward"]
strategy_adaptation = []
trace_analysis = []
trace_elimination = []
[package]
authors = ["Narazaki Shuji <shujinarazaki@protonmail.com>"]
categories = ["mathematics", "science"]
description = "A modern CDCL SAT solver in Rust"
edition = "2018"
homepage = "https://github.com/shnarazk/splr"
keywords = ["SAT", "SAT-solver", "logic", "satisfiability"]
license = "MPL-2.0"
name = "splr"
readme = "README.md"
repository = "https://github.com/shnarazk/splr"
version = "0.6.1"
[profile.release]
codegen-units = 1
lto = "fat"
opt-level = 3
panic = "abort"