Logs added, generater 1.2a with improvements and pseudo boolean model builder