UCLID5: Integrating Modeling, Verification, Synthesis and Learning | IEEE Conference Publication | IEEE Xplore