Fast Character Classification with Z3

7 points by mfiguiere 2 days ago | 0 comments