SMT-LIB auxiliary web server