# smt-solving

Collections of smt problems. Some for AVID
kerstpuzzel. I have some for an A&D assignment.
And there is one for superpermutations.