Rename sat wrapper to have consistent naming
Rename sat wrapper to have consistent naming

eseidel/saycbridge,eseidel/saycbridge,abortz/saycbridge,abortz/saycbridge,abortz/saycbridge,abortz/saycbridge,abortz/saycbridge,eseidel/saycbridge