danielaisen's repositories
Language:PythonMIT000
SymDFA2Aiger
Tool for creation of an Aiger file of format aag from a symbolic representation of a deterministic finite automaton.
Language:PythonMIT000
pylogics_modalities
A Python library for logic formalisms representation and manipulation.
Language:PythonMIT000
SafetySynth
A symbolic safety game solver written in Swift
Language:Swift000
Aiger
A lightweight, swifty (and incomplete) wrapper around the AIGER library
Language:Swift000
Language:Swift000
Language:C000
Language:C000
LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
LGPL-3.0000
mqtt-xes_Bachelor_project
MQTT-XES a lightweight logging mechanism for real-time logging for process mining purposes
Language:Java000
Language:C000
Language:Java000
000