Scripts written for automated development and testing for nanosatisfi software.