/polish-to-clingo

Programa en Python para pasar expresiones de lógica en notación polaca a un fichero para ser procesado por la herramienta Clingo.

Primary LanguagePython

No issues in this repository yet.