Précis d'analyse lexicale et d'analyse syntaxique - démonstrations

by Romain Legendre and François Schwarzentruber

My grammar

Horn clauses for computing prime and next sets:

If you prefer to use another software, please also find a comprehensive list of SAT solvers here: list on wikipedia

TIKZ Code:
Dotty Code:
Looks ugly? Hit