Translates the provided models of the target formula to prime implicants of the source formula.
Translates the provided models of the target formula to prime implicants of the source formula.
a collection of models of the target formsula (each interpreted as a cube).
a colletcion of prime implicants of the source formula (each interpreted as a cube).
A back translator from models of the target formula to prime implicants of the source formula.