MoniTAal

Monitor for Timed buchi automata Aalborg

Name	Name	Last commit message	Last commit date
Latest commit Thomas M.G fix const error when intersecting Aug 3, 2022 466ae55 · Aug 3, 2022 History 25 Commits
src	src	fix const error when intersecting	Aug 3, 2022
test	test	test and models	Aug 3, 2022
.gitignore	.gitignore	ignore sublime files	Jun 10, 2022
CMakeLists.txt	CMakeLists.txt	add test suite	Jun 10, 2022
COPYING	COPYING	add license	Jun 10, 2022
COPYING.LESSER	COPYING.LESSER	add license	Jun 10, 2022
README.md	README.md	Update README.md	Jun 7, 2022

Provide feedback