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.

You are not allowed to use any of the materials provided otherwise.