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