pkgsrc.se | The NetBSD package collection

./wip/py-omega, Specify and synthesize systems using symbolic algorithms

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.3.1, Package name: py311-omega-0.3.1, Maintainer: pkgsrc-users

A package of symbolic algorithms using binary decision diagrams (BDDs) for
synthesizing implementations from temporal logic specifications.

Master sites:

https://files.pythonhosted.org/packages/source/o/omega/ (Download)

Filesize: 195.441 KB

Version history: (Expand)

(2024-01-01) Package added to pkgsrc.se, version py311-omega-0.3.1 (created)