Closed FatemehHeidari closed 1 year ago
In the current implementation, the analyzer returns a result that the circuit is over-constrained if the result of the SMT Solver is an error. Add proper error handling.
In the current implementation, the analyzer returns a result that the circuit is over-constrained if the result of the SMT Solver is an error. Add proper error handling.