Breaking space news, the latest updates on rocket launches, skywatching events and more! You are now subscribed Your newsletter sign-up was successful Want to add more newsletters? Delivered daily ...

The purpose of this assignment is to experiment with deductive synthesis of programs that consist of calls to subroutines from a library, similar to the programs synthesized by Amphion (Stickel et al.