GitHub - haitaoneu/FSTsat: This is a prototype reasoning tool called FSTsat, which can automatically determine satisfiability of f-ALC(S)-LTL formula

haitaoneu / FSTsat Public

This is a prototype reasoning tool called FSTsat, which can automatically determine satisfiability of f-ALC(S)-LTL formula

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
case.cpp		case.cpp
formula.cpp		formula.cpp
formula.h		formula.h
formula.ui		formula.ui
graduation_design.pro		graduation_design.pro
graduation_design.pro.user		graduation_design.pro.user
input.cpp		input.cpp
input.h		input.h
input.ui		input.ui
main.cpp		main.cpp
mainwindow.cpp		mainwindow.cpp
mainwindow.h		mainwindow.h
mainwindow.ui		mainwindow.ui
random.cpp		random.cpp
random.h		random.h
random.ui		random.ui
tableaucon.cpp		tableaucon.cpp
tableaucon.h		tableaucon.h
tableaucon.ui		tableaucon.ui
tableaueli.cpp		tableaueli.cpp
tableaueli.h		tableaueli.h
tableaueli.ui		tableaueli.ui