search

sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
MIT License
20 stars 4 forks source link

Python bindings. #14

Closed daemontus closed 2 years ago

daemontus commented 3 years ago

We should provide python bindings that would fit the style of https://github.com/tulip-control/dd and primarily benchmark the library using these bindings instead of the built-in benchmarks (i.e. there can be microbenchmarks in rust, but comparison with other libraries should be done via Python).

daemontus commented 2 years ago

Python bindings are now available through the biodivine_aeon package: https://github.com/sybila/biodivine-aeon-py