(in-package "ACL2")

#+acl2-par
; clause processors that modify state
(set-waterfall-parallelism nil)

(ld "../sat/sat-package.acl2")

; Added by Matt K. to avoid CMUCL going out to lunch.
#+cmucl
(set-check-invariant-risk nil)

; cert-flags: ? t :ttags (#+cmucl :set-check-invariant-risk sat sat-cl sat-tutorial)
(certify-book "tutorial" ? t :ttags (#+cmucl :set-check-invariant-risk sat sat-cl sat-tutorial))
