Iris
Published in Zenodo (CERN European Organization for Nuclear Research) • Mar 1, 2025
NobleIDNI0P65W24R01S49
Abstract
Artifact for ASPLOS 2026 Submission#135 Table of Contents Background Install Usage Background Iris is a validation tool designed for Optimization Modulo Theories (OMT) solvers, such as Z3 and OptiMathSAT. It enables users to validating OMT solvers by transforming existing SMT files, parallelizing so...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!