Code

Allow creating Int from i32#270

Code

Open

Salt-Factory wants to merge 1 commit intoprove-rs:masterprove-rs/z3.rs:masterfrom Salt-Factory:masterSalt-Factory/z3.rs:masterCopy head branch name to clipboard

+52

Commits

Commits on Nov 9, 2023

• Allow creating Int from i32

  Salt-Factory

  committed
  29f19d2

  Copy full SHA for 29f19d2