diff options
author | Nao Pross <np@0hm.ch> | 2023-10-10 11:26:46 +0200 |
---|---|---|
committer | Nao Pross <np@0hm.ch> | 2023-10-10 11:26:46 +0200 |
commit | d208bf8102bea5212027efc71e51b4dbddfda0f9 (patch) | |
tree | 0e0126f7fcd6a1f25ad030ac1235dfe5d9e6fe14 /Homeworks.md | |
parent | Pass TestFiniteMakeSetProduct (diff) | |
download | act4e-d208bf8102bea5212027efc71e51b4dbddfda0f9.tar.gz act4e-d208bf8102bea5212027efc71e51b4dbddfda0f9.zip |
Implement loading of set products in SolFiniteSetRepresentation
Diffstat (limited to 'Homeworks.md')
-rw-r--r-- | Homeworks.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Homeworks.md b/Homeworks.md index 79eb7b2..3a20327 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -10,7 +10,7 @@ $ make docker-check - [X] TestFiniteSetRepresentation - [X] TestFiniteSetProperties -- [X] TestFiniteMakeSetProduct +- [ ] TestFiniteMakeSetProduct - [ ] TestFiniteMapRepresentation - [ ] TestFiniteMapOperations - [ ] TestFiniteSetRepresentation |