Algaroba Version 1.0

A release of Algaroba for the 2024 SMT Competition. See our paper or the attached document for more details.

Algaroba_at_the_2024_SMTCOMP.pdf

Exectuable for SMTCOMP: algaroba.tar.gz