this repo has no description
dekker.one
1Instalación
2============
3
4Una instalación completa del sistema MiniZinc comprende el MiniZinc *compilador de herramientas*, uno o más *solvers*, y opcionalmente el *MiniZinc IDE*.
5Se proporcionan paquetes binarios totalmente autónomos que contienen estos componentes para todos los sistemas operativos principales. Alternativamente, es posible compilar todos los componentes del código fuente.
6
7
8Paquetes Binarios
9-----------------
10
11La forma más sencilla de obtener un sistema completo de MiniZinc es utilizar el *Conjunto de paquetes binarios**, disponibles en http://www.minizinc.org/software.html.
12
13El conjunto de paquetes binarios contienen el compilador y el IDE, así como los siguientes solvers: Gecode, Chuffed, COIN-OR CBC y una interfaz Gurobi (la biblioteca Gurobi no está incluida). Para compatibilidad con versiones anteriores de MiniZinc, los paquetes también contienen el ahora desusado G12 suite de solvers (G12 fd, G12 lazy, G12 MIP).
14
15
16
17Microsoft Windows
18~~~~~~~~~~~~~~~~~
19
20Para instalar el conjunto de paquetes binarios, simplemente descarga el instalador, realiza doble-click para ejecutarlo, y siga las indicaciones. **Nota** tu deberías seleccionar la versión de 64 bits del instalador si tu sistema operativo Windows es de una versión de 64 bits, de lo contrario escoja la versión de 32 bits.
21
22Una vez finalizada la instalación, puede encontrar el IDE de MiniZinc instalado como una aplicación de Windows. Las extensiones de archivo ``.mzn``, ``.dzn`` y ``.fzn`` están vinculadas al IDE, por lo que al hacer doble-clic en cualquier archivo de MiniZinc, éste debe de abrirlo en el IDE.
23
24Si desea utilizar MiniZinc desde un símbolo del sistema, debe agregar el directorio de instalación (normalmente, esto sería similar a ``C:\Program Files\MiniZinc 2.1.2 (bundled)``) a la variable de entorno PATH.
25
26
27Linux
28~~~~~
29
30La distribución binaria de MiniZinc para Linux se proporciona como un archivo que contiene todo lo que se necesita para ejecutar MiniZinc. Fue compilado en un sistema LTS de Ubuntu 16.04, pero agrupa todas las bibliotecas necesarias excepto las bibliotecas C y C ++ del sistema (por lo que debería ser compatible con cualquier distribución Linux que use las mismas bibliotecas C y C ++ que Ubuntu 16.04). ** Nota: ** Debe de seleccionar la versión de 64 bits del instalador si su Linux es un sistema operativo de 64 bits, de lo contrario elegir la versión de 32 bits.
31
32Después de descargar, se debe de descomprimir el archivo. Por ejemplo, en su directorio personal o en cualquier otra ubicación donde desee instalarlo:
33
34.. code-block:: bash
35
36 $ tar xf MiniZincIDE-2.1.2-bundle-linux-x86_64.tgz
37
38
39Esto descomprimirá MiniZinc en un directorio que se llama igual que el archivo de archivo (sin el ``.tgz``). Puede ejecutar el IDE MiniZinc o cualquiera de las herramientas de línea de comandos directamente desde ese directorio o agregarlo a su variable de entorno PATH para facilitar el acceso. ** Nota: ** El IDE de MiniZinc necesita ser iniciado usando el script ``MiniZincIDE.sh``, que establece una serie de rutas que son requeridas por el IDE.
40
41Apple macOS
42~~~~~~~~~~~
43
44La distribución de binaria de macOS funciona con cualquier versión de OS X a partir de 10.9. Después de descargar el archivo de imagen de disco (``.dmg``), haga doble clic en él si no se abre automáticamente. Verá un icono para el IDE de MiniZinc que puede arrastrar a la carpeta Aplicaciones (o en cualquier otro lugar donde desee instalar MiniZinc).
45
46Para utilizar las herramientas MiniZinc desde un terminal, debe agregar la ruta a la instalación de MiniZinc a la variable de entorno PATH. Si instaló el IDE de MiniZinc en la carpeta Aplicaciones estándar, el siguiente comando agregará la ruta de acceso correcta:
47
48.. code-block:: bash
49
50 $ export PATH=/Applications/MiniZincIDE.app/Contents/Resources:$PATH
51
52Compilación desde el código fuente
53----------------------------------
54
55Todos los componentes de MiniZinc son software libre y de código abierto, y la compilación debiese de ser sencilla si tiene instaladas todas las herramientas de compilación necesarias. Sin embargo, los componentes de terceros, en particular de los diferentes solvers, pueden ser más difíciles de instalar correctamente y no podemos proporcionar ningún soporte para estos componentes.
56
57El código fuente de MiniZinc se puede descargar desde su repositorio GitHub en https://github.com/MiniZinc/libminizinc. El código fuente para el MiniZinc IDE se encuentra disponible en https://github.com/MiniZinc/MiniZincIDE.
58
59También necesitará instalar solvers adicionales para usar con MiniZinc. Para empezar, pruebe con Gecode (http://www.gecode.org) o Chuffed (https://github.com/chuffed/chuffed). Aquí no incluimos instrucciones de instalación para estos solvers.
60
61
62Microsoft Windows
63~~~~~~~~~~~~~~~~~
64
65Herramientas de desarrollo necesarias:
66
67- CMake, versión 3.0.0 o superior (http://cmake.org)
68- Microsoft Visual C++ 2013 o superior (ejemplo, la Edición Community disponible en https://www.visualstudio.com/de/downloads/)
69- Opcionalmente, sólo es necesario para MiniZinc IDE: Qt toolkit, versión 5.4 o superior (http://qt.io)
70
71**Compilando MiniZinc:** Descomprima el código fuente (o clone el repositorio git). Abra un símbolo del sistema y cambie al directorio del código fuente. La siguiente secuencia de comandos generará una versión de 64 bits de la cadena de herramientas del compilador MiniZinc (puede que tenga que adaptar el comando ``cmake`` para que se ajuste a su versión de Visual Studio):
72
73.. code-block:: bash
74
75 mkdir build
76 cd build
77 cmake -G "Visual Studio 14 2015 Win64"
78 -DCMAKE_INSTALL_PREFIX="C:/Archivos de Programas/MiniZinc" ..
79 cmake --build . --config Release --target install
80
81Esto instalará MiniZinc en la ubicación habitual de Archivos de programa. Puedes cambiar en dónde se instala modificando el ``CMAKE_INSTALL_PREFIX``.
82
83**Compiling the MiniZinc IDE:** Descomprima el código fuente (o clone el repositorio git). Abra un símbolo del sistema del Visual Studio que coincida con la versión de las bibliotecas Qt instaladas en su sistema. Cambie al directorio del código fuente para el MiniZinc IDE. Entonces, utilice los siguientes comandos para compilar:
84
85.. code-block:: bash
86
87 mkdir build
88 cd build
89 qmake ../MiniZincIDE
90 nmake
91
92Linux
93~~~~~
94
95Herramientas de desarrollo necesarias:
96
97- CMake, versión 3.0.0 o superior
98- Un reciente compilador de C++ (g++ o clang)
99- Opcionalmente, sólo es necesario para MiniZinc IDE: Qt toolkit, versión 5.4 o superior (http://qt.io)
100
101**Compilando MiniZinc:** Descomprima el código fuente (o clone el repositorio git). Abra un terminal y cambie al directorio del código fuente. La siguiente secuencia de comandos construirá las herramientas del compilador MiniZinc:
102
103.. code-block:: bash
104
105 mkdir build
106 cd build
107 cmake -DCMAKE_BUILD_TYPE=Release ..
108 cmake --build .
109
110**Compilando el MiniZinc IDE:** Descomprima el código fuente (o clone el repositorio git). Abra un terminal y cambie al directorio de código fuente para el MiniZinc IDE. A continuación, utilice los siguientes comandos para compilar:
111
112.. code-block:: bash
113
114 mkdir build
115 cd build
116 qmake ../MiniZincIDE
117 make
118
119
120Apple macOS
121~~~~~~~~~~~
122
123Herramientas de desarrollo necesarias:
124
125- CMake, versión 3.0.0 o superior (desde http://cmake.org o por ejemplo a través de homebrew https://brew.sh/)
126- La herramienta de desarrollo Xcode
127- Opcionalmente, sólo es necesario para MiniZinc IDE: Qt toolkit, versión 5.4 o superior (http://qt.io)
128
129**Compilando MiniZinc:** Descomprima el código fuente (o clone el repositorio git). Abra un terminal y cambie al directorio del código fuente. La siguiente secuencia de comandos construirá la cadena de herramientas del compilador MiniZinc:
130
131.. code-block:: bash
132
133 mkdir build
134 cd build
135 cmake -DCMAKE_BUILD_TYPE=Release ..
136 cmake --build .
137
138**Compilando el MiniZinc IDE:** Descomprima el código fuente (o clone el repositorio git). Abra un terminal y cambie al directorio de código fuente para el MiniZinc IDE. A continuación, utilice los siguientes comandos para compilar:
139
140.. code-block:: bash
141
142 mkdir build
143 cd build
144 qmake ../MiniZincIDE
145 make
146
147
148
149.. % Agregar soluciones de terceros
150.. % ------------------------------