Type Definition libspartan::InputsAssignment[][src]

type InputsAssignment = Assignment;

VarsAssignment holds an assignment of values to variables in an Instance