Back to Search
Start Over
Boolector 2.0
- Source :
- Journal on Satisfiability, Boolean Modeling and Computation; June 2015, Vol. 9 Issue: 1 p53-58, 6p
- Publication Year :
- 2015
-
Abstract
- In this paper, we discuss the most important changes and new features introduced with version 2.0 of our SMT solver Boolector, which placed first in the QF_BV and QF_ABV tracks of the SMT competition 2014. We further outline some features and techniques that were not yet described in the context of Boolector.
Details
- Language :
- English
- ISSN :
- 18755011 and 15740617
- Volume :
- 9
- Issue :
- 1
- Database :
- Supplemental Index
- Journal :
- Journal on Satisfiability, Boolean Modeling and Computation
- Publication Type :
- Periodical
- Accession number :
- ejs51637066
- Full Text :
- https://doi.org/10.3233/SAT190101