default_threads

taco_bdd::oxidd

Function default_threads 

Source 
fn default_threads() -> u32
Expand description

Function to get default number of threads for the BDD manager