Vojtěch Suchánek (5b439746) at 22 Sep 13:46
update systematic analysis plan
Vojtěch Suchánek (48333cc1) at 21 Sep 17:14
fix jupytext linking ipynb to py
Vojtěch Suchánek (b3df97ac) at 21 Sep 16:28
systematic analysis of all efd formulae
Vojtěch Suchánek (9e093227) at 26 Aug 15:51
add generic group model, group relations, assumptions
Vojtěch Suchánek (49224c6d) at 23 Aug 16:39
improve formatting in README
Vojtěch Suchánek (28404979) at 23 Aug 16:37
formatting in README
Vojtěch Suchánek (c790acc8) at 23 Aug 16:32
add paper outline to README, update assumptions
Vojtěch Suchánek (ecca2155) at 28 Jul 14:26
Merge branch 'main' of gitlab.fi.muni.cz:x451866/glv_disaster into ...
... and 2 more commits
Vladimír Sedláček (0dfe2741) at 30 Jun 20:06
Add some old ideas.
Vojtěch Suchánek (7c31d710) at 17 Jun 09:11
add dclp in finite field
Vojtěch Suchánek (1749e7ce) at 08 Jun 17:33
add DCLP, update README
Vojtěch Suchánek (25606427) at 08 Jun 11:27
add sources
Vojtěch Suchánek (0f5c488c) at 08 Apr 09:44
DCP for x_1+x_2 and 1728
Vojtěch Suchánek (8269352d) at 07 Apr 13:53
update README
Vojtěch Suchánek (51d05b11) at 06 Apr 00:33
add gitignore
Vojtěch Suchánek (db181f2a) at 06 Apr 00:31
initial commit
Vojtěch Suchánek (fa571fcf) at 06 Apr 00:22
Initial commit