Questions tagged [sat]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
2answers
188 views

Does a modeling language that generates SAT instances exist?

Nowadays, we enjoy the expressivity of modern modeling languages. However, does it exists a modeling language that takes in input a declarative problem definition (like AMPL or MiniZinc, or similar),...
3
votes
1answer
130 views

Extracting CNF representation of my problem from SAT solver

As I know, any SAT solver such as or-tools or cplex cp optimizer converts a given problem to CNF form in the first place. Is it possible to extract the resulting CNF representation from or-tools or ...