Published February 21, 2025 | Version OOPSLA-2025-AEC-final
Software Open

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

Creators

Description

This repository contains the accompanying artifact for the paper "Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles". The contents of the repository include:

  1. the docker image orax.tar.gz
  2. a README.pdf
  3. the license files LICENSE, LICENSE-CVC4 and LICENSE-Saadhak

Files

README.pdf

Files (2.1 GB)

Name Size Download all
md5:1121523bd536e229cfb3b42c0f73418e
1.9 kB Download
md5:7320a6ced7d3264ee69ddc8f7f4c4e72
5.3 kB Download
md5:551cfc081e6b4b508577dbd9c0322d13
1.7 kB Download
md5:d9f4978029b38896a7e046e6c6059d78
2.1 GB Download
md5:85de956442e32c33197d059e69ad4820
76.0 kB Preview Download