4 ms·
Wow, that's really cool! Looks like this is a Haskell library: https://hackage.haskell.org/package/sbv-5.15/docs/Data-SBV.html https://hackage.haskell.org/pack
by panic 10y ago
Wow, that's really cool! Looks like this is a Haskell library: https://hackage.haskell.org/package/sbv-5.15/docs/Data-SBV.html https://hackage.haskell.org/package/sbv-5.15/docs/Data-SBV.h...
- conistonwater 10y agoYes, it's really good! Makes it feasible to "sat first, ask questions later", especially for bit trickery.