Make DNF the default translation format

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 2 forks source link

Make DNF the default translation format #45

Closed daemontus closed 7 months ago

daemontus commented 1 year ago

Currently, we use the default BDD translation to create a Boolean formula from a BDD. But this is not very readable. It would be better to use a DNF instead.

daemontus commented 7 months ago

Should be implemented in #53.