Boris Okner

delta_crdt appears to lose data when running on more than one node.

10

The following module simulates the scenario with several concurrent processes writing to CRDT at some constant rate. It looks like when running the script on 2 or more nodes with...

Filtered process list

33

Allow custom implementation of process lists. The motivation is to be able to inspect specific groups of processes rather than pulling the whole process list. For instance, we may want...

Hello, Would it be possible to promote the latest changes (April 2023) to Hex? Thank you! Boris

For #35

Strategy: choose the variable with largest difference between the two smallest values in its domain. 

AllDifferent FWC is very slow.

1

- trace to find bottleneck; - implement DC version.