Skip to content

Resolve "fused many-multiply-add and better SAT encoding for binary"

waldmann requested to merge 533-fused-many-multiply-add-and-better-sat-encoding-for-binary into master

Closes #533 (closed)

Merge request reports