Other Statuses
SatisfiabilityBijection
Bijection between models of
Ax
and
C
Common use: Skolemization, Vampire style splitting
Unsolved
GaveUp(
reason
)
ResourceOut(
resource
)
