Struct sat::Assignment
[−]
[src]
pub struct Assignment { /* fields omitted */ }
An assignment of truth values to variables.
This is the output of a successful solve.