PSAT

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur PSAT

Il s’agit d’un projet visant à produire des logiciels pour décider du problème de satisfiabilité probabiliste (PSAT) selon une approche logique.