(library
 (name river)
 (libraries z3))
