use short ln options
add .simply extension to z3 queries
use $HOME
updates to tests (?)
add solvers
remove trailing whitespace