Programy według tautologica.sf.net

Pakiet programów dla narzędzi logiki edukacyjnej. W tej chwili jedynym działającym programem w pakiecie jest Tautologica Model Editor.