1 / 15

ENLACES DE INTERES

ENLACES DE INTERES. PAGINA OFICIAL: http://minion.sourceforge.net/ DESCARGA: http://sourceforge.net/projects/minion/files/minion/0.14/ MANUAL: http://minion.sourceforge.net/files/Manual014.pdf. DESCARGA Y EJECUCION. Desde el link de descarga, elegir la versión para nuestro SO

yuma
Download Presentation

ENLACES DE INTERES

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ENLACES DE INTERES • PAGINA OFICIAL: http://minion.sourceforge.net/ • DESCARGA: http://sourceforge.net/projects/minion/files/minion/0.14/ • MANUAL: http://minion.sourceforge.net/files/Manual014.pdf

  2. DESCARGA Y EJECUCION • Desde el link de descarga, elegir la versión para nuestro SO • No necesita instalación • Se ejecuta como Minizinc: • Desde consola • Archivo y ejecutable en la misma carpeta • Escribir en consola: minionnombre_archivo.minion

  3. PROPIEDADES DE MINION • SOFTWARE AUTONOMO • SOFTWARE GRATUITO • DISPONIBLE PARA: • Linux • MacOS • Windows

  4. DESCARGA Y EJECUCION • Ejemplo de ejecución:

  5. ESQUELETO DEL FICHERO • MINION 3 • **VARIABLES** • Definición y dominio • **SEARCH** • Modo de búsqueda e impresión del resultado • **CONSTRAINTS** • Imposición de restricciones • **EOF** • Fin del fichero

  6. VARIABLES Y DOMINIOS • BOOL: • Dominio: {0,1} • Ejemplo: BOOL encontrado • DISCRETE: • Dominio: Enteros • Ejemplo: DISCRETE num {0..9}

  7. VARIABLES Y DOMINIOS • BOUND: • Dominio: Intervalo de enteros • Ejemplo: BOUND intervalo {1..3} • SPARSEBOUND: • Dominio: Intervalo arbitrario de enteros • Ejemplo: SPARSEBOUND valores {1,3,6,7}

  8. VARIABLES Y DOMINIOS • SPARSEBOUND = BOUND • Sí el dominio de SPARSEBOUND es un rango. • Ejemplo: SPARSEBOUND valores {1..7} = BOUND intervalo {1..7} • ARRAYS: • Definición: tipo nombre [tamaño1,…,tamañoN] • Ejemplo: DISCRETE vector [5]

  9. CONSTRAINTS MINION VS.MINIZINC • MINION: • no tiene operadores (+, -, *, /, >, <) • Para hacer operaciones utilizamos constraints • Ejemplo igualar: • Minizinc: constraint x=y; • Minion: eq(x,y)

  10. CONSTRAINTS • eq(x,y): x=y • diseq(x,y): x!=y • minuseq(x,y): x=-y • ineq(x,y,k): x<=y+k • div(x,y,z): z=x/y

  11. CONSTRAINTS • product(x,y,z): z=x*y • max(vec,x): x=valor máximo del vector • element(vec,i,e): vec[i]=e • alldiff(vec): todos los elementos distintos • sumgeq(vec, c): sum(vec) >= c

  12. SEARCH • Modo de búsqueda: • VARORDER[var1,var2,…,varN] Busca los valores de las variable s en el orden dado • VALORDER[valor1,valor2,…,valorN] Busca el valor de cada variable a partir del valor dado • MAXIMISING var Maximiza el valor de la variable • MINIMISING var Minimiza el valor de la variable

  13. SEARCH • Imprimir resultado: • PRINT[[var1], [var2],…, [varN]] Imprime las variables • PRINT ALL Imprime todas las variables en orden de declaracion • PRINT NONE Imprime la salida por defecto

More Related