PAKCS
Exported names:
  • Operations:
  • z3
Imported modules:

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   
z3 solver configuration

Exported operations:

z3 :: SMTSolver   

z3 solver configuration

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