Simplify a check for an iterable object
Get rid of old references to BitVector
Get rid of deprecated uint2bv and int2bv functions
Get rid of unnecessary ImportError guard
Bump dimacs coverage to 100%
Change parse_pla input to a string
Add AchillesHeel to expr parsing unit tests
Simplify nose.tools.assert_raises import
Cleanup PLA parsing module
Bump pyeda.parsing.pla to 100% coverage