search

NilFoundation / zkllvm-blueprint

Circuit components definition library for zkLLVM circuit compiler
MIT License
43 stars 17 forks source link

389 sat check fix #390

Closed ETatuzova closed 5 months ago

Iluvmagick commented 5 months ago

Merged in https://github.com/NilFoundation/zkllvm-blueprint/pull/367.