logic-ng / LogicNG / 5c866db823fcb70008ce6db1

Builds Branch Commit Type Ran Committer Via Coverage
5c866db823fcb70008ce6db1 development Merge branch 'development' into feature/backbone-simplifier push Christoph Zengler wercker pending completion   set done
5c866d9cc9e72500080af53d feature/backbone-simplifier Merge branch 'development' into feature/backbone-simplifier push Christoph Zengler wercker pending completion   set done
5c866cc9ab79a30008cf14d3 development BackboneGeneration: extended Javadoc push Rouven Walter wercker pending completion   set done
5c866d5fab79a30008cf14f6 feature/backbone-simplifier Added another unit test push Christoph Zengler wercker pending completion   set done
5c866762c9e72500080af24e feature/subsumption Fixed typos in comment push Christoph Zengler wercker pending completion   set done
5c86654823fcb70008ce6748 feature/subsumption Fix type check in DNFSubsumption push Rouven Walter wercker pending completion   set done
5c865d42c9e72500080aee51 feature/subsumption First implementation of subsumption with UBTrees push Christoph Zengler wercker pending completion   set done
5c86468123fcb70008ce5927 development Fixed SAT solver push Christoph Zengler wercker pending completion   set done
5c86449bab79a30008cf0185 feature/upZeroLits Fixed SAT solver push Christoph Zengler wercker pending completion   set done
5c863f2623fcb70008ce53f8 development Merge branch 'development' into feature/backbones push Christoph Zengler wercker pending completion   set done
5c863f11c9e72500080adec4 feature/backbones Merge branch 'development' into feature/backbones push Christoph Zengler wercker pending completion   set done
5c863e8fab79a30008cefe72 feature/backbones Merge branch 'development' into feature/backbones push Christoph Zengler wercker pending completion   set done
5c863daec9e72500080addf9 feature/backbones Java 8 for Wercker push Christoph Zengler wercker pending completion   set done
5c2deec20518260007acd0ef feature/backbones Update unittests Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done
5c2cf250c0c3d70011965d2c feature/backbones Add unit tests and performance calculations Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done