z3.rs icon indicating copy to clipboard operation
z3.rs copied to clipboard

Published 20 hours ago • verified publisher icon prove-rs

CXX.rs instead of bindgen

Open rlkelly opened this issue 3 years ago • 1 comments

i'm currently working on changing z3-sys to use cxx.rs, would you be open to replacing this if I get the interface to match?

rlkelly avatar Aug 05 '21 19:08 rlkelly

what's the motivation for that? I'm not familiar with the diff

sameer avatar Aug 05 '21 23:08 sameer