Marek 4ac5cc0f7c Support multiple polynomial systems with auxiliary variables | %!s(int64=4) %!d(string=hai) anos | |
---|---|---|
src | %!s(int64=4) %!d(string=hai) anos | |
thesis | %!s(int64=4) %!d(string=hai) anos | |
.gitignore | %!s(int64=4) %!d(string=hai) anos | |
Makefile | %!s(int64=5) %!d(string=hai) anos |