Cargo Features

[dependencies]
volute = { version = "1.1.5", 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.5.1 and rustsat-kissat ^0.2.1

rustsat:

For optimization using SAT solvers

Affects sop::optim