There is a newer version of the record available.

Published April 28, 2026 | Version v1
Dataset Open

Mallob: Scalable Automated Reasoning On Demand

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology

Description

This artifact contains source code, data, and scripts to support the CAV'26 tool paper "Mallob: Scalable Automated Reasoning On Demand". Please refer to the documentation inside the ZIP archive for further instructions.

Files

note.txt

Files (85 Bytes)

Name Size Download all
md5:311cc2cf09e518f6550dfe44931ac30a
85 Bytes Preview Download

Additional details

Software

Repository URL
https://github.com/domschrei/mallob
Programming language
C++
Development Status
Active