Simon Cruanes

I have another suggestion: a `zip` file. It doesn't compress as well as .zst or .xz but it has a big advantage that it's randomly addressable, so you never need...

Oh I didn't know that!! Zip has the upside of having very mature bindings (camlzip) but xz does compress a lot better. In any case I think it'd accelerate some...

I might be very naive here, but is ABA a problem in OCaml here? Quoting from the [wikipedia page](https://en.wikipedia.org/wiki/ABA_problem): > In multithreaded computing, the ABA problem occurs during synchronization, when...

Thank you @stedolan, that makes sense to me indeed. I think this particular pattern of `Atomic.modify` should be labelled clearly as something that works well with immutable values. If you...

If you're just using qcheck-core, then `opam install qcheck-core` is enough. `qcheck` is a compatibility package that installs the core and some other things, it's not necessary otherwise.

At a glance: can we shrink large lists with the fast current algo, and shrink small (len < 16) lists with the more exhaustive algo? Just like sorting uses merge...

`Sys.time` will return the CPU time for the current process (i.e benchpress), not for the solver. `Ptime_clock.now` returns the posix wallclock, which indeed might vary if the server is overloaded....

Sure, but this does not parse the results into a neat list ^^

regarding python in particular, [pyo3](https://crates.io/crates/pyo3) should be much easier than going throught hand made C bindings.

Yes, you can make a separate crate that uses pyo3 and generates a `.so` file (or `.dynlib` I guess) that is also a native python module. I wouldn't dare suggest...