Séance de cours
Solveur WS1S: Structure du projet
Description
Cette séance de cours couvre la structure d'un projet visant à résoudre les formules WS1S, y compris le processus d'entrée/sortie, la représentation interne, l'algorithme de résolution et les ajouts prévus tels que les macros, les variables de premier ordre, la représentation des nombres naturels et les opérateurs succ.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.