GitHub repository: petrolifero/trabLP
Primary language: Racket
Description: Trabalho de LP para verificar se o gráfo corresponde ao programa PDL