suppress warning about hiding unexported unsafeFreeze
use loop package to optimize loops in ToySolver.SAT module
modify pbconvert to use convertWBO function of ToySolver.Converter.PB2LSP
add samples/smt/chain.smt2