Marcell Vazquez-Chanlatte

icon indicating a website link mjvc.me icon indicating an email [email protected]

Results 3 repositories owned by Marcell Vazquez-Chanlatte

py-aiger

40
Stars
9
Forks
Watchers

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

verified publisher icon mvcisback

py-metric-temporal-logic

80
Stars
19
Forks
Watchers

Python library for working with Metric Temporal Logic (MTL)

verified publisher icon mvcisback

dfa

18
Stars
4
Forks
Watchers

A simple python implementation of a DFA.

verified publisher icon mvcisback