search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
39 stars 9 forks source link

use the Sylvan Parallel BDD library (additionally) #5

Open m4lvin opened 7 years ago

m4lvin commented 7 years ago

Next to CUDD and CacBDD, we should also try and benchmark the BDD implementation https://github.com/utwente-fmt/sylvan via https://github.com/adamwalker/sylvan-haskell