1include "../../circuits/smt/smtprocessor.circom";
2
3component main = SMTProcessor(10);