2sat-algorithms Viikkoraportit Viikko 1 Viikko2 Viikko3 Viikko4 Viikko5 Viikko6 Dokumentointi Määrittelydokumentti Toteutusdokumentti Käyttöohje Testausdokumentti Javadoc Javadocin saa myös itse generoitua komennolla cd 2SAT-comparison mvn javadoc:javadoc