kdrag.config

Global configuration of knuckledragger

"""
Global configuration of knuckledragger
"""

solver = None
# timeout = 1000

# TODO: Someday, when it is annoyingly slow to check built in theories, we can add a flag to disable them
# check_lib = True