Published February 28, 2025
| Version v2
Software
Open
Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals"
Authors/Creators
-
1.
University of Illinois Urbana-Champaign
-
2.
University of Missouri
-
3.
University of Illinois Chicago
Description
Artifact for Paper "Checking 𝛿-Satisfiability of Reals with Integrals" to appear in PACMPL vol. 9 issue OOPSLA1, and submitted for evaluation. Second version of artifact with minor modifications (adding a license, clarifying the correspondance between our artifact and the paper), V1 was the original artifact submitted for evaluation.
Files
97.zip
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:fb76487fe086cf5e69f6ced69094f6c0
|
2.0 GB | Preview Download |