search

cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
304 stars 55 forks source link

Implement symbolic ForAll/Exists secondary operators #54

Closed cjdrake closed 10 years ago

cjdrake commented 10 years ago

It would be neat to allow Forall and Exists to be represented natively as expressions. Currently, ForAll(x, f) is simplified to And(f | x=0, f | x=1), and Exists(x, f) is simplified to Or(f | x=0, f | x=1).

cjdrake commented 10 years ago

Dropping this b/c it's less interesting that I thought. Consensus and smoothing operators work for all Function types.