logic-ng / LogicNG / 5c2b69d6c0c3d700119610c6

Builds Branch Commit Type Ran Committer Via Coverage
5c2b69d6c0c3d700119610c6 feature/backbones Add chunking and core-based backbone algorithms Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done
5c18d071c0c3d70011908169 feature/backbones Basic framework for backbone algorithms push Christoph Zengler wercker pending completion   set done
5c18bf361eea2b0007767b0b feature/backbones Merge branch 'master' into development push Christoph Zengler wercker pending completion   set done
5c18bf19c0c3d70011906c35 development Merge branch 'master' into development push Christoph Zengler wercker pending completion   set done
5c0aa22b5786410006883398 master Adjusted readme for 1.4.1 and added FAQ push Christoph Zengler wercker pending completion   set done
5c0a9ab05786410006882dbf development moved test cases to test resources folder push Christoph Zengler wercker pending completion   set done
5c0a98035786410006882999 development Merge branch 'development' of github.com:logic-ng/LogicNG into development push Christoph Zengler wercker pending completion   set done
5c0a2973578641000687c470 development extended doc for cnf() method push Rouven Walter wercker pending completion   set done
5c098a57578641000687686f development extended qmc unit tests push Rouven Walter wercker pending completion   set done
5c0962c05786410006875402 development look at the right variable set when computing Quine-McCluskey push Christoph Zengler wercker pending completion   set done
5c091e725786410006871e8b development workaround for Wercker toolchain push Christoph Zengler wercker pending completion   set done
5bbe5dfa7f9cf600066e9c98 development added FormulaFactory.constant method push Rouven Walter wercker pending completion   set done
5bb32e2c5e7eac00074faad0 development corrected reader encoding for unit test push Rouven Walter wercker pending completion   set done
5bb32b775c5fc80009b905fa master We are now BooleWorks! push GitHub wercker pending completion   set done
5bb329855c5fc80009b904d6 master corrected reader encoding for unit test push Rouven Walter wercker pending completion   set done