# Functions
Empty creates an empty Assignment.
Evaluate evaluates the formula with the given assignment.
EvaluatesToFalse reports whether the formula evaluates to false under the assignment (mapping from variables to truth values).
EvaluatesToTrue reports whether the formula evaluates to true under the assignment (mapping from variables to truth values).
New creates a new Assignment with the given literals.
Restrict restricts a formula with the given assignment.
# Structs
An Assignment represents a mapping from Boolean variables to truth values.