Solver SAT par les littéraux purs - Test
Max
Max
Max
OU
Bruteforce :
SAT :
0
| UNSAT :
0
Time elapsed =
Littéral :
SAT :
0
| UNSAT :
0
Time elapsed =
Fichier explicatif
Source Javascript
Github