Lib.rs

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