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

Self-referential substitution #46

Open daemontus opened 11 months ago

daemontus commented 11 months ago

At the moment, substitution is not really correct if the substituted function depends on the substituted variable. We should fix this.