D

DUT;BTS;Licence

Application Java permettant de créer, éditer et résoudre des grilles du jeu logique Dosun-Fuwari à l'aide d'une transformation en problème SAT (satisfiabilité booléenne).