;;;; amb-sat-solve.scm

(include "../amb-pl-solver")
(import amb-pl-solver)

; The following prints (#f #f #t)
(define (sat-solve)
  (with-solution (and (implies a (not b)) (not a) c)
    (list a b c) ) )