search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

tst/testall.g: simplify by using TestDirectory #2

Closed fingolfin closed 5 years ago