Cargo Features

[dependencies]
yaspar-ir = { version = "2.7.2", default-features = false, features = ["all", "cnf", "implicant-generation", "cvc5", "cache", "none"] }
default = none

The none feature is set by default whenever yaspar-ir is added without default-features = false somewhere in the dependency tree.

all = cnf, implicant-generation
cnf all? implicant-generation? = cache

Enables sat-interface

Affects ctx::Caches.cnf_cache

implicant-generation all? = cnf
cvc5

Enables cvc5-rs ^0.2

Affects yaspar-ir::cvc5

cache cnf?

Affects ctx::Caches, ctx::Context.caches

none default