GitHub - roveri-marco/aaltaf-uc: Unsatisfiable core for LTLF

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
examples		examples
formula		formula
ltlparser		ltlparser
minisat		minisat
util		util
.gitignore		.gitignore
Makefile		Makefile
aaltasolver.cpp		aaltasolver.cpp
aaltasolver.h		aaltasolver.h
carchecker.cpp		carchecker.cpp
carchecker.h		carchecker.h
carsolver.cpp		carsolver.cpp
carsolver.h		carsolver.h
debug.h		debug.h
evidence.cpp		evidence.cpp
evidence.h		evidence.h
ltlfchecker.cpp		ltlfchecker.cpp
ltlfchecker.h		ltlfchecker.h
ltlfuc2aaltauc.py		ltlfuc2aaltauc.py
main.cpp		main.cpp
solver.cpp		solver.cpp
solver.h		solver.h
uc.cpp		uc.cpp
uc.h		uc.h
utility.cpp		utility.cpp
utility.h		utility.h