SMTC

SMT-LIB optimizing preprocessor based on the WebAssembly compiler infrastructure.

Usage

Usage: smtc [--output OUTPUT] [--lu LU] [--lo LO] [--wu WU] [--wo WO] [--stats STATS] [--verbose] [FILE]

Positional arguments:
  FILE                   SMTLIB2 format file to optimize.

Options:
  --output OUTPUT, -o OUTPUT
                         Output file for the optimized SMTLIB2 format.
  --lu LU                Output file for the unoptimized LLVM IR.
  --lo LO                Output file for the optimized LLVM IR.
  --wu WU                Output file for the unoptimized WebAssembly.
  --wo WO                Output file for the optimized WebAssembly.
  --stats STATS          Output file for statistics.
  --verbose, -v          Enable detailed output for debugging or analysis.
  --help, -h             display this help and exit
  --version              display version and exit

Design Architecture