Licence - Dosun Fuwari Solver

Project information

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).

Java sat-solver DUT;BTS;Licence

6 Commits
1 Branch
1 Tag

README
GNU General Public License v3.0 or later

Created on

September 30, 2022

Loading