avoid code duplication between BDD packages - Githubissues

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

https://w4eg.de/malvin/illc/smcdelweb

GNU General Public License v2.0

41 stars 9 forks source link

avoid code duplication between BDD packages #46

Open m4lvin opened 5 months ago

m4lvin commented 5 months ago

Current pain points:

a lot of repeated code between S5, S5_CUDD, and S5_DD etc.
missing Symbolic.K_DD and Symbolic.Ki_DD
running the same example with CacBDD, CUDD or d-d needs type and code changes.

Note: one attempt to solve this problem with an abstraction layer is https://hackage.haskell.org/package/hBDD from 2015.

Options to explore:

other abstraction libraries?
Template Haskell?
Use CPP for naive concatenation of source files?