MCBAT: a practical tool for model counting constraints on bounded integer arrays

Open Webpage

Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang

Published: 01 Jan 2020, Last Modified: 14 May 2025ESEC/SIGSOFT FSE 2020EveryoneRevisionsBibTeXCC BY-SA 4.0