Pinned

1. dfa dfa Public

   A simple python implementation of a DFA.

   Python 18 4

2. dfa-identify dfa-identify Public

   Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

   Python 5 3

3. lstar lstar Public

   Python implementation of lstar automata learning algorithm.

   Python 7 1

4. py-aiger py-aiger Public

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

   Python 39 9

5. py-metric-temporal-logic py-metric-temporal-logic Public

   Python library for working with Metric Temporal Logic (MTL)

   Python 88 19

6. DISS DISS Public

   Demonstration Informed Specification Search

   Python 2