Skip to content

bdd_to_formula: add CNF variant

Alexandre Duret-Lutz requested to merge adl/fix-org-r into next
  • spot/twa/formula2bdd.hh, spot/twa/formula2bdd.cc (bdd_to_cnf_formula): New function.
  • python/spot/init.py: Add a default dictionary for convenience.
  • tests/python/bdditer.py: Add test cases.
  • NEWS: Mention it.

Merge request reports