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 whenevervolute
is added without
somewhere in the dependency tree.default-features = false - 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
…