# Default run parameters
DEFAULT_K = None
DEFAULT_M = 0
DEFAULT_S = 0.05
DEFAULT_Z = 1
DEFAULT_A = 0
DEFAULT_DEBUG = False
DEFAULT_ADD_NEGATED = False
DEFAULT_GREEDY = False
DEFAULT_C = None
DEFAULT_Q = None
DEFAULT_F = None
DEFAULT_O = None
DEFAULT_H = None
DEFAULT_V = False


float_precision = 1e-5