smackers/smack — pull request #56 by Guoanshisb (2014-12-29 07:11:11+00:00)
Title: Bit-vector extension for SMACK

Please help me improve the code :)

Shaobo