logic-ng / LogicNG / 5ef5a0f37b63df001a222ddb

Builds Branch Commit Type Ran Committer Via Coverage
5ef5a0f37b63df001a222ddb v2.0 Initial commit of LogicNG version 2.0 branch push Christoph Zengler wercker pending completion   set done
5e5b06957b63df001ae511ac feature/formula-interface Merge branch 'feature/improved-pg-on-solver' into feature/formula-interface push Christoph Zengler wercker pending completion   set done
5e2f4a6f7b63df001ad12f2f feature/constraint-simplifier WIP constraint simplifier push Christoph Zengler wercker pending completion   set done
5e2981587b63df001acf3c75 v2.0 extended CollectionHelper by isEmpty test push Rouven Walter wercker pending completion   set done
5e284c797b63df001ace910b v2.0 Refactored SAT solver to use solver functions push Christoph Zengler wercker pending completion   set done
5e281fb77b63df001ace6b43 v2.0 Current ANTLR version push Christoph Zengler wercker pending completion   set done
5e275ce87b63df001acdee5a v2.0 Removed ImmutableFormulaList push Christoph Zengler wercker pending completion   set done
5e2718d87b63df001acdc611 v2.0 improved equals push Christoph Zengler wercker pending completion   set done
5e2712237b63df001acdbfa5 v2.0 Merge branch 'v2.0' of github.com:logic-ng/LogicNG into v2.0 push Christoph Zengler wercker pending completion   set done
5e26b2027b63df001acd79ae v2.0 fix: union push Rouven Walter wercker pending completion   set done
5e2699f07b63df001acd6910 v2.0 Removed external solver option from sat predicates push Rouven Walter wercker pending completion   set done
5e262bde7b63df001acd3710 v2.0 Singleton pattern for AIG, CNF, DNF and NNF predicates push Rouven Walter wercker pending completion   set done
5e2627837b63df001acd349d v2.0 extended CollectionHelper by mkString methods push Rouven Walter wercker pending completion   set done
5e260f597b63df001acd2a0c v2.0 Refactored Tests for JUnit 5 push Christoph Zengler wercker pending completion   set done
5e24e35a7b63df001acc6adb v2.0 Refactored solvers package push Christoph Zengler wercker pending completion   set done