artworm0

Results 1 issues of artworm0

Strange warning when using simple NOT operator on a boolean (new type solver)

1 comment

![изображение](https://github.com/user-attachments/assets/c981057a-e111-4c91-b5ce-5aa8deca6075) ![изображение](https://github.com/user-attachments/assets/f1d54ecf-284a-40d4-88a4-16234db2c20a)

bug
new solver