Skip to content

UNSAT theory has bad output #1

@haz

Description

@haz

When the CNF is unsatisfiable, and a nnf compilation is requested, then the output is largely uninformative and produces an error. There should be a check before attempting to output the nnf file to make sure at least one solution was found.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions