# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
name = "scuttle"
version = "0.3.1"
authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
build = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "A multi-objective MaxSAT solver."
readme = "README.md"
keywords = [
    "solver",
    "multi-objective",
    "maxsat",
]
license = "MIT"
repository = "https://github.com/chrjabs/scuttle"

[profile.release]
lto = true

[lib]
name = "scuttle"
path = "src/lib.rs"

[[bin]]
name = "scuttle"
path = "src/bin/scuttle.rs"
required-features = ["binary-deps"]

[[test]]
name = "main"
path = "tests/main.rs"

[[test]]
name = "prepro"
path = "tests/prepro.rs"

[dependencies.atty]
version = "0.2.14"
optional = true

[dependencies.clap]
version = "4.5.13"
features = [
    "derive",
    "cargo",
]
optional = true

[dependencies.concolor-clap]
version = "0.1.0"
optional = true

[dependencies.cpu-time]
version = "1.0.0"
optional = true

[dependencies.maxpre]
version = "=0.2.1"
features = ["multiopt"]
optional = true

[dependencies.rustsat]
version = "0.4.3"
features = [
    "multiopt",
    "internals",
]

[dependencies.rustsat-cadical]
version = "0.2.4"
features = ["v1-7-2"]
optional = true

[dependencies.scuttle-proc]
version = "0.1"

[dependencies.signal-hook]
version = "0.3.17"
optional = true

[dependencies.termcolor]
version = "1.4.1"
optional = true

[features]
binary-deps = [
    "dep:clap",
    "dep:concolor-clap",
    "dep:termcolor",
    "dep:atty",
    "dep:cpu-time",
    "dep:maxpre",
    "dep:signal-hook",
    "dep:rustsat-cadical",
    "rustsat/compression",
]
check-non-dominance = []
coarse-convergence = []
data-helpers = []
default = [
    "binary-deps",
    "phasing",
    "sol-tightening",
    "interrupt-oracle",
    "limit-conflicts",
]
div-con = []
interrupt-oracle = ["scuttle-proc/interrupt-oracle"]
limit-conflicts = ["scuttle-proc/limit-conflicts"]
phasing = ["scuttle-proc/phasing"]
sol-tightening = ["scuttle-proc/sol-tightening"]