35 projects
py-aiger-bdd
Aiger to BDD bridge.
dfa_identify
Python library for identifying (learning) DFAs (automata) from labeled examples.
py-aiger-cnf
Python library to convert between AIGER and CNF
py-aiger-bv
A python library for manipulating sequential and-inverter gates.
py-aiger
A python library for manipulating sequential and-inverter gates.
py-aiger-sat
Pythonic interface between AIGs and SAT solvers.
lstar_lm
Algorithm for learning DFA from demonstrations, examples, and language.
lstar
Python implementation of lstar automata learning algorithm.
lazytree
Python library for manipulating infinite trees.
diss
Demonstration Informed Specification Search
dfa-mutate
Library for mutating a DFA represented using the dfa library.
py-aiger-gridworld
Library for modeling gridworlds as AIGER circuits.
py-aiger-dfa
Library for moving between sequential circuits AIGs and DFAs.
metric-temporal-logic
A library for manipulating and evaluating metric temporal logic.
discrete-signals
A domain specific language for modeling and manipulating discrete time signals.
py-aiger-coins
Library for creating circuits that encode discrete distributions.
py-aiger-discrete
Library for modeling functions over discrete sets using aiger circuits.
dfa
Python library for modeling DFAs, Moore Machines, and Transition Systems.
bdd2dfa
Python library for converting binary decision diagrams to automata.
py-aiger-ptltl
Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.
py-signal-temporal-logic
Wrapper on metric-temporal-logic to implement signal temporal logic.
hasse
Python library for representing Partially Ordered sets via Hasse Diagrams.
exp4
Implementation of Exponential weighting for Exploration and Exploitation with Experts.
mdd
Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
monotone-bipartition
Compute Monotone Threshold Surfaces and compute distances between surfaces.
improvisers
Library for modeling improvisers in stochastic games.
probabilistic-automata
Python library for manipulating probabilistic automata.
py-aiger-abc
Bridge to using Berkeley-ABC with py-aiger.
py-aiger-js
A Python library for compiling AIGs to Javascript.
mce-spec-inference
Maximum Causal Entropy Specification Inference.
past-mtl-monitors
A library for creating past metric temporal logic monitors.
fold-bdd
Library for folding (or reducing) over a Reduced Ordered Binary Decision Diagram.
dd2nx
Python library for converting the dd package's BDD to Multigraph in networkx.
logical-lens
Python library for using parametric specifications to embed domain specific knowledge in machine learning.
py-aiger-analysis
An extension of py-aiger providing advanced tool support, including SAT and QBF solvers.
