wmpy.core.assignmentconverter

Classes

AssignmentConverter

This class is responsible of converting the pysmt assignments returned by an enumerator into pairs <Polytope, Polynomial>.