Sign in
A Proposal for an OMT Extension to SMT-LIB
Conference proceeding

A Proposal for an OMT Extension to SMT-LIB

Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli and Clark Barrett
CEUR workshop proceedings, Vol.4008, pp.29-44
2025

View Online

Abstract

OMT Optimization Modulo Theories SMT-LIB syntax

Details

Metrics

1 Record Views
Logo image