Published August 17, 2025 | Version v4
Software Open

ClauseSMT (ASE'2025): Artefact of "Improving NLSAT for Nonlinear Real Arithmetic"

Authors/Creators

  • 1. ROR icon Institute of Software

Description

This artefact is intended to compare the sequential performance of our solver `clauseSMT` with other mainstream SMT solvers.
 
Please see paper: 
Improving NLSAT for Nonlinear Real Arithmetic (ASE' 2025)

Files

Files (119.1 MB)

Name Size Download all
md5:67c1d13f4fd3784ad6caa125dd387562
119.1 MB Download

Additional details

Identifiers

URL
https://github.com/yogurt-shadow/ClauseSMT_ASE2025

Dates

Accepted
2025-08-17

Software

Repository URL
https://github.com/yogurt-shadow/ClauseSMT
Programming language
C++
Development Status
Active