logic-ng / LogicNG / 5d3cc9d321ca08000853f8a0

Builds Branch Commit Type Ran Committer Via Coverage
5d3cc9d321ca08000853f8a0 feature/cnf-on-solver Fixed unit tests push Christoph Zengler wercker pending completion   set done
5d3c568121ca08000853efe6 feature/cnf-on-solver Integrated backbone solver in MiniSat push Christoph Zengler wercker pending completion   set done
5d3c103a21ca08000853e800 feature/cnf-on-solver fix: NullPointerException in enumerateAllModels push Christoph Zengler wercker pending completion   set done
5d3ac1dc21ca080008538540 feature/cnf-on-solver include changes from 1.5.2 push Christoph Zengler wercker pending completion   set done
5d3abac521ca080008538139 feature/cnf-on-solver PG on solver implementation push Christoph Zengler wercker pending completion   set done
5d2853f8a952c20008939adc master two small bugfixes regarding SAT solving with assumptions and backbones push Christoph Zengler wercker pending completion   set done
5d24b03ca952c20008925c57 minimizationUsingDontCareConditions whitespace merge push Daniel Bischoff wercker pending completion   set done
5d0a4510105780001c55d5f1 minimizationUsingDontCareConditions restructured tests push Daniel Bischoff wercker pending completion   set done
5cecdf9387d3180008e021c3 feature/dnnf Merge branch 'feature/j8-refactoring' into feature/dnnf push Christoph Zengler wercker pending completion   set done
5ceb979287d3180008df7f61 feature/removal-transformations minor javadoc improvement push Rouven Walter wercker pending completion   set done
5cdfe9a1ab79a30008f4af4b feature/removal-transformations added transformations for tautology and contradiction removal + tests push Rouven Walter wercker pending completion   set done
5cdd584323fcb70008e13a4c EQE_PBC a coefficient of zero does not break cc property of a pbc push Daniel Bischoff wercker pending completion   set done
5cdd1685ab79a30008f352fd release/2.0 adjusted codestyle to force braces in loops and if branches push Rouven Walter wercker pending completion   set done
5cdd13ecab79a30008f350da feature/j8-refactoring J7 diamond syntax; J8 lambda expressions for maps and anonym classes push Rouven Walter wercker pending completion   set done
5cdd1435ab79a30008f35110 feature/j8-refactoring removed deprecated method Literal.negative() push Rouven Walter wercker pending completion   set done