Hakan Kjellerstrand

(This was first reported at Discourse: https://discourse.julialang.org/t/turing-jl-sometimes-this-error-is-thrown-cannot-convert-an-object-of-type-geometric-float64-to-an-object-of-type-dirac-float64/65202 TorFjelde suggested that I reported this since it "should work". ) **Sometimes**, but not always, this error is thrown for the model below...

It would be great if the examples contains a description of the example. In earlier versions of Popper, most examples was quite clear (to me), but some of the newer...

Showing covered/not covered instances

2

When debugging a model it would be helpful to see which instances that are covered/not covered after the (tentative) programs. Here is a (fake) example for `examples/alleven` to show what...

Separate magicpopper and ilp-experiments?

1

The magicpopper repo is currently very large: about 9Gn, of which magicpopper is just a few Mb; the rest is for ilp-experiments (including the .git directories). Would it be possible...