Recent Releases of acacia-bonsai
acacia-bonsai - Version submitted to SYNTCOMP24
Several updates, bug fixes, and sleepless nights after, we have a new version of the tool for this year's competition.
- C
Published by gaperez64 over 1 year ago
acacia-bonsai - Version submitted with CAV24 tool paper
A few updates, bug fixes, and new data structures are included wrt the version used in SYNTCOMP 2023.
- C
Published by gaperez64 about 2 years ago
acacia-bonsai - Version submitted to SYNTCOMP in 2022
Version submitted to SYNTCOMP in 2022
- C
Published by gaperez64 over 3 years ago
acacia-bonsai - Started coding the actual antichain-using algorithms
- C
Published by gaperez64 over 5 years ago