Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles

Open Webpage

Zhineng Zhong, Ziqi Zhang, Hanqin Guan, Ding Li

Published: 2025, Last Modified: 20 May 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0