Skip to main content
Avatar for mvcisback from gravatar.com
Username    mvcisback
Date joined   Joined on

25 projects

py-aiger-sat

Last released on

Pythonic interface between AIGs and SAT solvers.

py-aiger-coins

Last released on

Library for creating circuits that encode discrete distributions.

py-aiger-bv

Last released on

A python library for manipulating sequential and-inverter gates.

py-aiger

Last released on

A python library for manipulating sequential and-inverter gates.

py-aiger-js

Last released on

A Python library for compiling AIGs to Javascript.

py-aiger-dfa

Last released on

Library for moving between sequential circuits AIGs and DFAs.

py-aiger-gridworld

Last released on

Library for modeling gridworlds as AIGER circuits.

py-aiger-abc

Last released on

Bridge to using Berkeley-ABC with py-aiger.

py-aiger-bdd

Last released on

Aiger to BDD bridge.

py-aiger-cnf

Last released on

Python library to convert between AIGER and CNF

py-aiger-ptltl

Last released on

Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.

mce-spec-inference

Last released on

Maximum Causal Entropy Specification Inference.

bdd2dfa

Last released on

Python library for converting binary decision diagrams to automata.

metric-temporal-logic

Last released on

A library for manipulating and evaluating metric temporal logic.

probabilistic-automata

Last released on

Python library for manipulating probabilistic automata.

dfa

Last released on

Python library for modeling DFAs, Moore Machines, and Transition Systems.

past-mtl-monitors

Last released on

A library for creating past metric temporal logic monitors.

discrete-signals

Last released on

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

fold-bdd

Last released on

Library for folding (or reducing) over a Reduced Ordered Binary Decision Diagram.

dd2nx

Last released on

Python library for converting the dd package's BDD to Multigraph in networkx.

lazytree

Last released on

Python library for manipulating infinite trees.

lstar

Last released on

Python implementation of lstar automata learning algorithm.

monotone-bipartition

Last released on

Compute Monotone Threshold Surfaces andcompute distances between surfaces.

logical-lens

Last released on

Python library for using parametric specifications to embed domain specific knowledge in machine learning.

py-aiger-analysis

Last released on

An extension of py-aiger providing advanced tool support, including SAT and QBF solvers.

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page