GitHub - mbuchholz/ObjectAlgebra: C# implementation of Object Algebra for Linear Temporal Logic

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
ObjectAlgebra.Tests		ObjectAlgebra.Tests
ObjectAlgebra		ObjectAlgebra
report		report
.gitignore		.gitignore
ObjectAlgebra.sln		ObjectAlgebra.sln

About

C# implementation of Object Algebra for Linear Temporal Logic

Report repository

Releases

No releases published

Packages

No packages published

Languages