jwaldmann

The work-around is to expand some type synonyms cfa45caf390750edd1255cd67b8638ffa2d5f023 , see https://gitlab.haskell.org/ghc/ghc/-/issues/18914#note_310314 The code now works for ghc-8.{4,6,10} but not ghc-8.8 - which needs an additional kind signature cb43c61c2032335ba3313920847f02ad8d0b0976

We will look into it. @emeinhardt , if you haven't done so, could you add examples (to ersatz/examples) or test cases that show applications of the proposed modules. (Not just...

vacuum looks dead, I think we want https://github.com/def-/ghc-vis

See 4b58336d916d160225ff4ad73c31d294926249b8

While `atmost 1` is fine now, `atmost 2` looks convoluted. ``` runSAT' (do xs

with unary numbers - looks much nicer: ``` runSAT' (do xs

cf. https://gitlab.imn.htwk-leipzig.de/waldmann/fuglede/-/blob/master/F.hs#L128 (this is arithmetics modulo 2^width)

some more ideas: * this claim ("... is better") should be re-checked for current solvers, in particular, kissat * `sumBit` constructs a minimal-depth circuit (a Wallace tree?) by walking the...

It's difficult to catch exceptions in pure code, because it's evaluated lazily. Exceptions may occur very late (when the value is forced) so they may escape a handler at the...

Same here. Solution/work-around: I removed `.emacs.d`, re-installed packages, and then it worked.