• Home
• tools.aqua
• z3-turnkey
• 4.12.6
• source code
• ackermannize_bv_tactic_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.12.6.src.ackermannization.ackermannize_bv_tactic_params.pyg Maven / Gradle / Ivy

def_module_params(module_name='rewriter',
                  class_name='ackermannize_bv_tactic_params',
                  export=True,
                  params=(
                          ("div0_ackermann_limit", UINT, 1000, "a bound for number of congruence Ackermann lemmas for div0 modelling"),
                          )
                  )