(library
 (name schedule)
 (libraries z3))
