s/nvariables/nvars
Replace expr2dimacscnf with DimacsCNF class
Cleanup unused import
Add PicoSAT source code
Move pyeda.sat to pyeda.boolalg.sat
Update imports for new sat module location
Initial support for PicoSAT binding
Integrate PicoSAT into pyeda.boolalg.expr