Lib.rs

› volute › Features

Cargo Features

[dependencies]
volute = { version = "1.1.3", default-features = false, features = ["rand", "optim-mip", "optim-sat"] }
default = rand

The rand feature is set by default whenever volute is added without default-features = false somewhere in the dependency tree.

rand default

Generation of random functions

Enables rand

For random function generation

Affects operations::fill_random…

optim-mip

Optimization of function representation using Mixed-Integer-Programming

Enables good_lp

For optimization using Mixed-Integer-Programming

Affects sop::optim…

optim-sat

Optimization of function representation using SAT

Enables rustsat ^0.4.0 and rustsat-kissat ^0.1.3

rustsat:

For optimization using SAT solvers

Affects sop::optim…