Did you know ... Search Documentation:
Pack transpiler -- javascript/js_transpiler/smt_lib_parser.jison

The current version of pack transpiler does not contain a file javascript/js_transpiler/smt_lib_parser.jison