fmqa
fmqa copied to clipboard
Is there a way to say that some bit patterns are forbidden?
Or, a way to specify some constraint?