Fast CNF/DNF algorithm.

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

Fast CNF/DNF algorithm. #24

Closed daemontus closed 1 year ago

daemontus commented 3 years ago

At the moment, we can create CNF/DNF using clauses, where creation of each clause is fast, but the creation of the formula can be slow. It is however possible to implement a faster algorithm based on #19. This could be an interesting addition to speed up serialisation/deserialisation.

daemontus commented 1 year ago

This is now implemented in version 0.5.0.