Tomas Krejci

I'm currently downloading the dataset to try it but it will take a while since it is very large. This is probably caused by `pykitti` since they changed API. It...

This PR looks like a great improvement. I went through the code quickly and it looks good to me. I especially like the dockerization of it as it adds a...

I have done some research into this and [summarized it here](https://github.com/tamasfe/aide/issues/116). It has a manual workaround to this issue. It would still be nice to have the PR finished up...

I ran into the same problem while generating OpenAPI specification using [aide](https://github.com/tamasfe/aide). The managed to work around this issue and documented all the options I come up with [in this...

Here is another example. Not all the operands were merged into a single operation. ``` (~((((1)&x2&x2&x1&x10)|~x2)&x2&((x2|x0|x8)&((0)|(1)|x7|x9|x2)&x2&~x9)&((x6|(1)|(0))|x10|x7|(x10|(1)|x4|x10)|(x6&(0)&(1)&x4&(0)))))&(((~(x10&x1&(0)&x9&x8))|((x4|(0)|x3|x0|(1))&(x9|(1)|x1|(1)|x6)&((0)&(0)))|((x8|(0)|(1)|x8)&((1)|x10|x5)&(x10|x6|(1)|x2|x9)&(x0|x1|x7)&x3))&((~x3|(x6&x0&(0)&x6&x10)|~x6|x1|(x6|x4))|x3)&(((x4&x7&x2&x5&(0))|(x7|x6)|x2)|x9|(1)|(1)|((x4|x5|x1|(0)|(1))&(x3&x7&x4)&(x3&(0)&x7&x3&x9)&((1)&(0)&(1)&x9&x2)&(x8&(0)&x5)))) ~x2|x9|(~x1|~x10) ~x1|~x10|~x2|x9 ```

I will just list a few examples falling into the same category of not being the same after two consecutive simplifications. ``` (((x9|~x2|(x6|x0|x1|(0)|x9)|((1)|x9|x8)|~x2)|(x5&(~(1)))|(~(~x0))|((x5&x2&(0)&x6&(1))|(x9&x4))|((x10|x0)&((1)|x2)&(~(0))))&x2&((~(~x9))&x7&(((0)|x1|x0|x9)|(0)|(~(1))|(0)|(x9&(0)))&(0))&((((0)|(1)|(0))|((0)|x9|x5|x7)|~x3|(x0&(0)&(1)&(0)))&~x8&(x10|(x8&x1)|(x1&(1)&x6&(0))|(x6|x6)|(0))&(x8|((0)&(0)&(1)&x0)|x4|(x1&x9))&((x3&x7)|x2|(x8&x4&(0)&(0)&x10)))&((~(x5&x8&x7))|((x8|(0)|x3)|(x2|(0))|(x6&x7&x10&x1&x2))))|(~((~x10&(x7|x5)&(x2|x8|(1)|x4))|((x2|x3|(0)|x10|x4)|(x0|x7|x9|x3|x10)|(x5&x5&x5)|x0)|x4|(((0)&(0)&x6)&~x4&(x5&x4)&(1)))) ~x0&~x10&~x2&~x3&~x4&~x5&~x7&~x9&(~x5&~x7) ~x0&~x10&~x2&~x3&~x4&~x5&~x7&~x9 ``` ``` (~((((1)&x3&x10)|(x4&x0&(1)&(0)&x2)|~x0)&((x6&(0)&x1)&((1)|x9|x4|x6|(1)))&(~(~x4))&(1)))&(~((~x3&(~(0))&(x10&x9)&((0)|x6|(0)|x2|x10)&(x9|x7|(0)|x0))&(x9|~x0|(x0|x1|(1)))&(~(~(1)))&(~x4|(x4&x1))&(~(x4|(0)|x3|(0)|x1)))) x1|~x10|x3|x4|x4|~x9 x1|~x10|x3|x4|~x9...

After more investigation it looks like this is the core cause of the previous issue https://github.com/bastikr/boolean.py/issues/111

The built-in parser is somehow limited and is not intended to be a fully general parser. So following script will fail ```python import boolean algebra = boolean.BooleanAlgebra() TRUE, FALSE, NOT,...

I can confirm that the PR https://github.com/bastikr/boolean.py/pull/113 also fixes this issue.

Hello Ivan! Sometimes the job is basically done. It won't stop working just because there is no recent change. Feel free to use it. 😉