4 lines
164 B
Plaintext
4 lines
164 B
Plaintext
CaDiBack is a tool using the CaDiCaL solver to determine the backbone of a
|
|
satisfiable instance, which are those literals set to true in all models of
|
|
the formula.
|