logic-ng / LogicNG / 5efdcf27dac5630008ac0655

Builds Branch Commit Type Ran Committer Via Coverage
5efdcf27dac5630008ac0655 v2.0 PG ON SOLVER: added top level split for AND push Rouven Walter wercker pending completion   set done
5efdbee6dac5630008abfead v2.0 minor refactoring push Rouven Walter wercker pending completion   set done
5efdbe54dac5630008abfe73 v2.0 extended cnf test with various configurations push Rouven Walter wercker pending completion   set done
5efd9b18dac5630008abe97c v2.0 Added more large formulas push Christoph Zengler wercker pending completion   set done
5efd7adfdac5630008abd643 v2.0 Assignment: removed deprecated positiveLiterals method push Rouven Walter wercker pending completion   set done
5efd794bdac5630008abd5a5 v2.0 Improved PG-on-solver by skipping auxiliary vars for nested ORs push Rouven Walter wercker pending completion   set done
5efd034ddac5630008abb2d5 v2.0 fixed a unit test push Christoph Zengler wercker pending completion   set done
5efd028adac5630008abb2b2 v2.0 fixed variable shadowing in MiniCard push Christoph Zengler wercker pending completion   set done
5efcf234dac5630008abafc7 v2.0 Updated POM and added plugin to store the POM version in the manifest push Christoph Zengler wercker pending completion   set done
5efceec2dac5630008abaef7 v2.0 Revert "removed old PG on solver" This reverts commit 8ad6993bc. push Christoph Zengler wercker pending completion   set done
5efc6f06765d2a00076b000c v2.0 Added backbone convenient methods push Rouven Walter wercker pending completion   set done
5efc5d1c7b63df001a242a3c v2.0 removed old PG on solver push Christoph Zengler wercker pending completion   set done
5efc49097b63df001a241acc v2.0 Clarified documentation of 'Literal' c.f. #30 push Christoph Zengler wercker pending completion   set done
5ef645747b63df001a228047 v2.0 minor refactoring; more unit tests push Rouven Walter wercker pending completion   set done
5ef5fea37b63df001a225ff5 v2.0 minor refactoring; added unit tests push Rouven Walter wercker pending completion   set done