search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

Intelligently default --jobs and --split #13

Open sorear opened 8 years ago

sorear commented 8 years ago

--jobs should be the logical CPU count unless overridden (hopefully there's a crate for this).

--split should be enabled automatically if --jobs > 1 or --repeat. We may need --no-split --repeat, although that's a pathological case only really useful for profiling.

digama0 commented 8 years ago

There's a crate for this: https://crates.io/crates/num_cpus

sorear commented 8 years ago

Thought so. Thanks for finding that!