fermoir Un résolveur de réponses à des programmes de logique normaux ou étendus.
Télécharger maintenant

fermoir Classement & Résumé

fermoir Mots clés

solveur SAM Solveur SAT

fermoir La description

Le fermoir permet une mise en uvre de l'algorithme de programmation de réponses qui vous permet de résoudre des programmes de logique normaux. La méthode est basée sur la technique d'apprentissage Nogood axée sur le conflit. Vous pouvez utiliser cet outil en tant que solveur ASP, SAT Solver ou PB Solver pour vos projets impliquant une résolution de réponses.

fermoir Logiciels associés