solving multiple sequence alignment instances using pySMT

python = 3.7.4 pySMT = 0.9.0

mas01.py can run on the multiple sequences over binary alphabet (0 and 1) with exactly two ones in each sequence.
python msa01.py 0100000100 000010001 0001000100

masRNA.py can run on the multiple sequences over four letters (A, G, U, C).
python msaRNA.py GAUCAGUC AUCAGC GACGAUAAAA