Module Solver.SMTLIB.Z3

This module provides the SMT solver configuration for the z3 solver.

Author: Jan Tikovsky

Version: November 2017

Summary of exported operations:

z3 :: SMTSolver  Deterministic 
z3 solver configuration

Exported operations:

z3 :: SMTSolver  Deterministic 

z3 solver configuration

Further infos:
  • solution complete, i.e., able to compute all solutions