bf.Solve panics with repeated vars in Or

[ciaran-mcquade]

formula := bf.Or(bf.Or(bf.Var("x"), bf.Var("x")), bf.Var("x"))
bf.Solve(formula)

panics with

runtime error: index out of range [-1]

[fdelorme]

This should be fixed in the latest pushed version on branch master. The problem happened during simplification when 3 or more instances of the same literal appeared in a clause with no other literal in it, as in your example. Please let me know if everything is OK for you now.

…

-- ʕ◔ϖ◔ʔ Fabien Delorme