(in-package "ACL2")

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

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

; cert-flags: ? t :ttags (sat sat-cl sat-tutorial)
(certify-book "tutorial" ? t :ttags (sat sat-cl sat-tutorial))
