Explore projects

C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

Jupiter code

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!