Geek Repo
followers
following
stars
Location:Kaiserslautern, Germany
Github PK Tool:Github PK Tool
fast probabilistic symmetry detection on graphs
static symmetry breaking for SAT
the sassy preprocessor for symmetry detection