{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["wip","devel"],"comment":"Specify and synthesize systems using symbolic algorithms","compare":"/compare/omega/index.json","dependentCount":null,"description":"A package of symbolic algorithms using binary decision diagrams (BDDs) for\nsynthesizing implementations from temporal logic specifications.","flavors":[],"html":"https://daemonports.org/netbsd/wip/py-omega/","kind":"port","lastUpdate":null,"license":["modified-bsd"],"maintainer":"pkgsrc-users@NetBSD.org","name":"omega","newest":false,"newestVersion":"0.90.4","noVulnData":false,"origin":"wip/py-omega","otherSystems":[{"maintainer":"r7st.guru@gmail.com","matchedBy":"name","newest":true,"origin":"games/omega","path":"/games/omega/","system":"FreeBSD","version":"0.90.4_2"},{"maintainer":"The OpenBSD ports mailing-list \u003cports@openbsd.org\u003e","matchedBy":"name","newest":true,"noVulnData":true,"origin":"games/omega","path":"/openbsd/games/omega/","system":"OpenBSD","version":"0.90.4p3"},{"maintainer":"r7st.guru@gmail.com","matchedBy":"name","newest":true,"origin":"games/omega","path":"/dragonfly/games/omega/","system":"DragonFly","version":"0.90.4_2"},{"maintainer":"r7st.guru@gmail.com","matchedBy":"name","newest":true,"noVulnData":true,"origin":"games/omega","path":"","system":"GhostBSD","version":"0.90.4_2"}],"packages":null,"pkgName":"omega-0.3.1","related":["games/omega","wip/omega"],"repository":"pkgsrc-wip","requiredBy":[],"requiredByCount":0,"runDepends":["math/py-networkx","textproc/py-humanize","textproc/py-natsort"],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"0.3.1","versions":null,"vulnerabilities":null,"www":"https://pypi.org/project/omega/"}