path: root/solutions/cond-add-inv/execution.sh

#!/bin/sh

# Here's a way to link a.slip and maintaining the stdlib in
# use without changing working directory, then using a.slip in b.slip
myslip -l solutions/cond-add-inv/a.slip solutions/cond-add-inv/b.slip