Default SAT solver configuration for routines like sat.
See config-p to understand these settings.
Definition: *default-config*
(defconst *default-config* (make-config :cmdline "glucose -model" :verbose t :mintime 1/2 :remove-temps t))
