PV1 ⊧ Sylvanimplements consistency-preserving transformations of BDDs on multicore

Links

• Repository: https://github.com/trolando/sylvan
  • Last commit date: 04 Sep 2022 (default branch)
  • Last commit date: 25 Sep 2022 (last activity)
• Mirror of repository: https://github.com/utwente-fmt/sylvan
  • Last commit date: 03 Sep 2022 (default branch)
• Documentation: https://trolando.github.io/sylvan/

Related papers

• Multi-core On-The-Fly Saturation (TACAS '19)
• Multi-core Symbolic Bisimulation Minimisation (TACAS '16)
• Sylvan: Multi-Core Decision Diagrams (TACAS '15)

Last publication date

Related tools

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: TACAS 2019
• Contained in the ProVerB22 dataset (paper + artefact)