IPOGwBDD

Fork

Recent Chamber Activity

2019-06-29

• 02:38: [Wiki] Page 'FrontPage' has been updated
• 02:27: [PF/Files] File build20180329.jar has been moved to 201803
• 02:27: [PF/Files] New folder has been created: 201803
• 02:25: [PF/Files] New file has been published: exp201906.zip
• 02:17: [Wiki] Page 'FrontPage' has been updated
• 02:12: [PF/Files] New file has been published: ipogbdd.jar

2019-01-26

• 06:10: [Git] commits were pushed to 'IPOGwBDD' (current: c0cae5fc0fde045f4ff87f5ea8bd569d2b6d52ce)
  Fixed big bugs related to SAT

2019-01-21

• 15:05: [Git] commits were pushed to 'IPOGwBDD' (current: 2eac5537db038aee21f9f4f2a51056c6b103e7f7)
  throw RuntimeException when exception was thrown by Sat4j

2019-01-17

• 12:39: [Git] commits were pushed to 'IPOGwBDD' (current: 533a0a1aa39a47da72a7d50e0c6ca55374f14101)
  Fixed: erroneously closed System.out. now flush instead.
• 11:22: [Git] commits were pushed to 'IPOGwBDD' (current: 526fefbe2ba643227da395a7d4fe0b950fdb3ebe)
  failed to improve new BDD. Left (erroneous) code as comments

• more →

Recent Wiki Changes

2019-06-29

• FrontPage

Wiki Guide

• Wiki Syntax
• Wiki Links
• Block Processor
• Plugins
• Side Bar

Side Bar

• About this Sidebar
• Edit Sidebar