This project has moved to https://github.com/matthiasbock/BooleSim