Add seed argument to picosat module
Add seed argument to picosat module

pombredanne/pyeda,GtTmy/pyeda,sschnug/pyeda,sschnug/pyeda,cjdrake/pyeda,cjdrake/pyeda,GtTmy/pyeda,sschnug/pyeda,karissa/pyeda,pombredanne/pyeda,GtTmy/pyeda,cjdrake/pyeda,pombredanne/pyeda,karissa/pyeda,karissa/pyeda