z3-src 415.4.3

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6

def_module_params('parser', 
                  export=True,
                  params=(('ignore_user_patterns', BOOL, False, 'ignore patterns provided by the user'),
                          ('ignore_bad_patterns',  BOOL, True, 'ignore malformed patterns'),
                          ('error_for_visual_studio', BOOL, False, 'display error messages in Visual Studio format'),
                          ))