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

DNF generator #60

Open daemontus opened 1 month ago

daemontus commented 1 month ago

For the DNF generator, we should probably also test negations of formulas, not just the original formulas. For 122.bnet, it seems that the functions themselves are easy, but the negations are hard.