[yaj54]

Are you using the SAT/SMT solvers to feed training data into a transformer or integrating the solver logic into the model code?