diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-04 18:32:09 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-04 18:34:28 +0200 |
| commit | 7595acf9858008a386e42e2394968a27eb7700ef (patch) | |
| tree | 22d07dd417e9ab6c4edb9942178c27da8db1e560 /Makefile | |
| parent | Pass TestFiniteSetRepresentation (diff) | |
| download | act4e-7595acf9858008a386e42e2394968a27eb7700ef.tar.gz act4e-7595acf9858008a386e42e2394968a27eb7700ef.zip | |
Pass TestFiniteSetProperties
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions