module Assignment: sig end
Assignments for propositional formulas over literals
including equalities and arithmetic inequalities.
type t = {
|
valuation : (Name.t * bool) list; |
|
literals : Atom.Set.t; |
}
val pp : t Pretty.printer
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
rho |
: |
t
|
|