(monolithic-sat-with-transforms) → *
Function:
(defun monolithic-sat-with-transforms nil (declare (xargs :guard t)) (let ((__function__ 'monolithic-sat-with-transforms)) (declare (ignorable __function__)) (make-fgl-satlink-monolithic-sat-config :transform t)))