νZ - Maximal Satisfaction with Z3

@inproceedings{Bjrner2014ZM,
  title={νZ - Maximal Satisfaction with Z3},
  author={Nikolaj Bj\orner and Anh-Dung Phan},
  booktitle={SCSS},
  year={2014}
}
Satisfiability Modulo Theories, SMT, solvers are used in many applications. These applications benefit from the power of tuned and scalable theorem proving technologies for supported logics and specialized theory solvers. SMT solvers are primarily used to determine whether formulas are satisfiable. Furthermore, when formulas are satisfiable, many… CONTINUE READING