GitHub - 3brahimi/aaltaf: SAT-based LTLf Satisfiability Checker

Name		Name	Last commit message	Last commit date
Latest commit lijwen2748 add counterexample Aug 10, 2020 e5a238e · Aug 10, 2020 History 4 Commits
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
main.cpp		main.cpp
solver.cpp		solver.cpp
solver.h		solver.h
utility.cpp		utility.cpp
utility.h		utility.h