PicoSAT interface does not take a seed argument

cjdrake / pyeda

Python EDA

BSD 2-Clause "Simplified" License

304 stars 54 forks source link

PicoSAT interface does not take a seed argument #107

Closed cjdrake closed 9 years ago

cjdrake commented 9 years ago

The code to use picosat_set_seed function to set the solver's random seed is currently commented out. Would be useful to have seed=None as an input parameters, where None just means "random".

cjdrake commented 9 years ago

Changed it so seed is 1 by default.