richardstartin / splitmap Java 27 2 Parallel boolean circuit evaluation bitset boolean-circuits boolean-algebra bitmap