summaryrefslogtreecommitdiffstats
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement loading of set products in SolFiniteSetRepresentationNao Pross2023-10-101-7/+27
* Pass TestFiniteMakeSetProductNao Pross2023-10-101-4/+74
* Pass TestFiniteSetPropertiesNao Pross2023-10-041-1/+7
* Pass TestFiniteSetRepresentationNao Pross2023-10-041-3/+36
* Pass TestSimpleIntroNao Pross2023-10-041-1/+1
* Initial commitgithub-classroom[bot]2023-10-0426-0/+428