warthog-logic/warthog — pull request #6 by rwalter (2012-09-28 15:08:48+00:00)
Title: Changed Picosat class to object; Multiple call of init/reset method now ...

...possible