Fast Character Classification with Z3

By mfiguiere, 4 days ago