Projet réalisé en duo avec Tanguy J.
Icône | Dépendance | Version |
---|---|---|
Minizinc | 2.6 | |
Docker | 20.10 | |
Docker compose | 1.25 | |
NodeJS | 18.10 | |
Express | 4.18 |
https://docs.docker.com/compose/install/
-
Pré-requis :
Dépendance Version min. Lien Docker 20.10 install Dockercompose 1.25 install -
Installation
cp .env.example .env
Puis adaptez le à votre environnement.
-
Lancement
docker-compose up -d --build
-
Pour les duo le modèle ne genère pas de solutions symétriques.
-
Pour les trio une symétrie éxiste, mais une contrainte suplémentaire permet de briser la symétrie :
constraint forall( i in (1..nbPersonnes) )
(
(
(if i > trio[i] then 1 else 0 endif) +
(if trio[i] > trio[trio[i]] then 1 else 0 endif) +
(if trio[trio[i]] > trio[trio[trio[i]]] then 1 else 0 endif)
) == 2
);
Il est possible de soumettre un fichier dzn directement en bas de l'interface.
La qualité peut être varié