Discover projects, groups and snippets. Share your projects with others
Owl (Omega Word and automata Library) is a library tailored for --- but not limited to --- semantic-based translations from LTL to deterministic automata.
Repository for the development of calculix in the context of the project Ascent AM
open VADERE project7updated