Programmes par psat.sf.net

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