mvcisback

py-metric-temporal-logic

Python library for working with Metric Temporal Logic (MTL)

py-aiger

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

dfa

A simple python implementation of a DFA.

lstar

Python implementation of lstar automata learning algorithm.

dfa-identify

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

py-aiger-cnf

Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.

py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

DiscreteSignals

A domain specific language for modeling and manipulating discrete time signals.

py-aiger-past-ltl

past-ltl -> aiger circuit library.

py-aiger-bdd

Aiger <-> BDD bridge.

py-aiger-bv

pyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.

py-aiger-dfa

Python library for converting between AIG circuits and DFAs.

py-signal-temporal-logic

Wrapper on metric-temporal-logic to implement signal temporal logic.

past-mtl-monitors

A library for creating past metric temporal logic monitors.

py-aiger-coins

Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.

py-aiger-gridworld

pyLazyTree

Python library for manipulating infinite trees.

DISS

Demonstration Informed Specification Search

2024-usc-fall-workshop

bdd2dfa

Python library for converting binary decision diagrams to automata.

configs

dfa-embeddings

dfa-mutate

Library for generating mutations for DFAs

dfa-sampler

Library for implementing dfa sampling strategies (pull requests welcome)

dict_lookup_mpnn_problem

gatv2_eqx

Equinox implementation of Graph Attention Networks v2 (GATv2)

mvcisback.github.com

neural-dfa-planner

py-aiger-discrete

Library for modeling functions over finite sets using aiger circuits.

py-stl