emtl_sat_translator

Przed uruchomieniem

Zainstaluj SWI-Prolog, Graphviz.
Przygotuj folder bee_binaries i umieść w nim skompilowane pliki BubmleBEE oraz pl-satsolver.so lub odpowiednie dla systemu Windows.

Zalecam korzystać z linuxa lub WSL na Windowsie

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
app.py		app.py
requirements.txt		requirements.txt
test.dot		test.dot
test2.dot		test2.dot