initial commit
uniform code style
adjust mcaiger to new picosat API