New: circuitsolving