• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• model_params.pyg

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0.src.model.model_params.pyg Maven / Gradle / Ivy

def_module_params('model',
                  export=True,
                  params=(('partial', BOOL, False, 'enable/disable partial function interpretations'),
                          ('v1', BOOL, False, 'use Z3 version 1.x pretty printer'),
                          ('v2', BOOL, False, 'use Z3 version 2.x (x <= 16) pretty printer'),
                          ('compact', BOOL, True, 'try to compact function graph (i.e., function interpretations that are lookup tables)'),
                          ('inline_def', BOOL, False, 'inline local function definitions ignoring possible expansion'),
                          ('user_functions', BOOL, True, 'include user defined functions in model'),
                          ('completion', BOOL, False, 'enable/disable model completion'),
                          ))