(library
 (name sat)
 (libraries pp stdune))
