Changed Picosat class to object; Multiple call of init/reset method now ...

...possible