Release 0.5.1 contains fixes for some critical bugs, especially for bugs
that resulted in saving old snapshots instead of the current circuit, and
wrong simulation signals when using bi-directional splitting.
Besides many improvement and a couple of bugfixes, the most notable one is a dramatic improvement of the performance of the boolean equation solver used for ...