search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Reversed order of arguments of XOR #776

Closed Tomaqa closed 1 month ago

Tomaqa commented 1 month ago

Printing XOR terms reverses the order of the arguments.