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

Closed o1-david closed 1 year ago