I'm trying to compile rustsat-batsat for WASM (which is mentioned in its docs), but ran into the issue that cpu_time::ProcessTime does not exist. It seems that this is only implemented for Windows and Unix specifically, and both rustsat and rustsat-batsat depend on it.

Is there a workaround for this, so I could use rustsat? Or could the dependency be made optional?