doc request: how to use

[jwaldmann]

I would appreciate some example , as in https://github.com/jwaldmann/haskell-buddy/tree/master/examples This could also be used for benchmarking.

[adamwalker]

Unfortunately, this repository is unmaintained. I originally used it for some Syntcomp experiments but that was several years ago so I expect that it no longer even builds with the latest version of Sylvan.

Furthermore, Sylvan doesn't implement dynamic reordering, which really limits its practical usefulness. It's probably best to stick with something like CUDD.

[m4lvin]

Not to argue with the warning that this is unmaintained, but back when I wanted to use Sylvan and also found it a bit tricky to get started, I wrote down this example: https://github.com/m4lvin/sylvan-haskell-example
Maybe it still helps @jwaldmann or anyone else stopping by here ;-)

[adamwalker]

Thanks for that. I've linked to your example in the readme.