Nous avons conçu deux modèles différents pour résoudre des instances du problème d'Instant Insanity.
Le premier modèle est défini dans la classe Resolver.java qui utilise des contraintes spécifiques InsanityPropagator.java.
Le second modèle est défini dans la classe New_Resolver.java. Ce modèle utilise la conception d'expressions et les contraintes fournies par Choco-Solver.
Notre projet utilise Maven, il suffit donc de cloner ou télécharger le dépôt puis de l'ouvrir dans votre IDE. Avec Visual Studio Code et le Java Extension pack, aucune commande supplémentaire n'est nécessaire.
Si vous souhaitez executer le benchmark que nous avons utilisé pour réaliser nos calculs, il vous suffit d'utiliser la commande
mvn -Dtest=BenchmarkTest test
dans le dossier contenant le fichier pom.xml