Skip to content
GitLab
Explore
Sign in
Felix Winkelnkemper
PentominoDDI
Issues
#156
Change operator names such that they comply a little bit more with gipml