search

i-am-tom / holmes

A reference library for constraint-solving with propagators and CDCL.
https://hackage.haskell.org/package/holmes
MIT License
303 stars 14 forks source link

Fix resolve #20

Open ju1m opened 1 year ago

ju1m commented 1 year ago

I'm not sure about this but it looks suspicious. In any case, more comments would be great.