CAV 2018 Artifact Evaluation
BTOR2, BtorMC and Boolector 3.0
Aina Niemetz, Mathias Preiner, Clifford Wolf and Armin Biere
This site provides all materials to reproduce our experimental evaluation for our paper "BTOR2, BtorMC and Boolector 3.0" at CAV 2018.
It also currently links to all resources used in our upcoming new word-level track in the HWMCC'19.
Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere.
Material used in the experimental evaluation of the paper:
See also the Github page of the Btor2Tools and Boolector: