kdrag.config

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