Mallob

Schreiber, Dominik; Sanders, Peter; Rigi-Luperti, Niccolò; Götz, Ruben

doi:10.4230/artifacts.26961

Artifact

Mallob Software

Authors Dominik Schreiber , Peter Sanders , Niccolò Rigi-Luperti , Ruben Götz

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26961
URN: urn:nbn:de:0030-drops-269618

Author Details

Dominik Schreiber

Karlsruhe Institute of Technology, Germany

Peter Sanders

Karlsruhe Institute of Technology, Germany

Niccolò Rigi-Luperti

Karlsruhe Institute of Technology, Germany

Ruben Götz

Karlsruhe Institute of Technology, Germany

Content

Software (Source Code): https://github.com/domschrei/mallob
archived version

Version/Status

Content created at: 2019-10-02
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Dominik Schreiber, Peter Sanders, Niccolò Rigi-Luperti, Ruben Götz. Mallob (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26961

Description

Scalable Automated Reasoning for HPC and Clouds

Subject Classification

Programming Languages

C++
Shell
Python
C
CMake
Dockerfile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail