cleaner interface for the different modes of operations (constraint, witness, witness without constraint, etc.)

Question

o1-david opened this issue a year ago · comments