Skip to content
GitLab
Explore
Sign in
paogris
lars-relax
Repository
lars-relax
library
Relax.hs
Find file
Blame
History
Permalink
Remove #instance from output
· 971d25b2
Paul Ogris
authored
Nov 12, 2019
The relaxed problem does not need these. It would only throw off gringo later.
971d25b2