Ipasir-sat-limit100
- Signature
(ipasir-sat-limit100) → *
Definitions and Theorems
Function: ipasir-sat-limit100
(defun ipasir-sat-limit100
nil (declare (xargs :guard t))
(let ((__function__ 'ipasir-sat-limit100))
(declare (ignorable __function__))
(make-fgl-ipasir-config :ipasir-callback-limit 100)))
