The Barcelogic SMT Solver Tool Paper
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Albert Rubio · 2008
Abstract. This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-the-art features developed by other research groups. We pay special attention to the theory solvers and to functionalities that are not common in SMT solvers. 1