THREADS

taco_bdd::oxidd

Constant THREADS 

Source 
const THREADS: u32 = 8;
Expand description

Number of threads used for parallel operations