Open atomb opened 9 years ago
It would be nice to have a built-in function for exporting a formula with nested quantifiers into QBF format. This depends on having a final decision on how to represent quantifiers.
It would be nice to have a built-in function for exporting a formula with nested quantifiers into QBF format. This depends on having a final decision on how to represent quantifiers.