From d208bf8102bea5212027efc71e51b4dbddfda0f9 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Tue, 10 Oct 2023 11:26:46 +0200 Subject: Implement loading of set products in SolFiniteSetRepresentation --- Homeworks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Homeworks.md') 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 -- cgit v1.2.1