Module assignment

A propositional assignment

This has proven to be a useful abstraction. Unfortunately we need to expose most of its internals since we modify the assignment vector when applying a revision.

Structs

Assignment

An assignment comprising a mapping plus a trail (vector of literals).

Functions

stable_under_unit_propagation

Given an assignment, return true whenever the clause will not trigger unit propagation. This is equivalent to UP-models in rupee’s sickcheck.