Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Estoy tratando de aprender a usar Z3 en la variante antigua del solucionador SMT, ya que eso es lo que estudiaré en la escuela en un futuro próximo. Dicho esto, también se agradecería una solución o pistas en Z3 python.
Actualmente estoy teniendo problemas para resolver un sistema de ecuaciones diferenciales parciales (EDP) unidimensionales de primer orden. Puedes ver las EDPs aquí. He intentado utilizar PDEPE en MATLAB y FiPy, pero ninguno de ellos funciona para este problema. El desafío radica en las funciones f muy complicadas (ver la imagen), . . . Read more
¿Puedo declarar la variable “sheetname” en la fórmula “if” en Excel? Este código se obtiene de una macro de VBA. ActiveCell.FormulaR1C1 = _ "=SI(‘1′!RC=’2′!RC,’1′!RC,""R1:""&’1′!RC&""|R2:""&’2’!RC)" (1 y 2 son nombres de hojas) Quiero declarar una variable, reemplazando 1 y 2. Por ejemplo: ActiveCell.FormulaR1C1 = _ "=SI(‘i’!RC=’i+i’!RC,’i’!RC,""R1:""&’i’!RC&""|R2:""&’i+i’!RC)"
Mi modelo de vista tiene varias funciones que utilizan Task para ejecutar casos de uso. Utilizo la anotación “@Main Actor” para publicar actualizaciones de UI en el hilo principal. Me aparece un error al intentar registrar el modelo de vista en Resolver. ¿Hay alguna forma de registrar este tipo de . . . Read more
Tengo una aplicación que desea tener la capacidad de descargar archivos localmente. Un usuario puede descargar un archivo (sin restricciones de tipo de archivo) y debería poder guardarlo en el dispositivo para luego poder utilizarlo con otros propósitos. También me gustaría que el usuario pueda eliminar el archivo desde la . . . Read more