Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#48
power_map should not use state*
there is no reason for powerset to work with state* anymore