logic-ng / LogicNG / 5f18037bdac5630008b47f9c

Builds Branch Commit Type Ran Committer Via Coverage
5f18037bdac5630008b47f9c v2.0 Fixed JavaDoc push Christoph Zengler wercker pending completion   set done
5f0f3377dac5630008b1b849 v2.0 more BDD refactoring push Steffen Hildebrandt wercker pending completion   set done
5f0dcc6bdac5630008b11ec0 v2.0 major BDD refactoring push Steffen Hildebrandt wercker pending completion   set done
5f0dac80dac5630008b10e68 v2.0 minor javadoc push Rouven Walter wercker pending completion   set done
5f0da67fdac5630008b10c3d v2.0 some visibility refactoring push Steffen Hildebrandt wercker pending completion   set done
5f0d6cd3dac5630008b0eda8 v2.0 more changes to visability push Christoph Zengler wercker pending completion   set done
5f0d69c7dac5630008b0eb69 v2.0 more changes to visability push Christoph Zengler wercker pending completion   set done
5f0ca89adac5630008b09bdc v2.0 changed some visibilities push Christoph Zengler wercker pending completion   set done
5f0c866bdac5630008b09281 v2.0 a more liberal approach what for protected members and methods in complex algorithms push Christoph Zengler wercker pending completion   set done
5f0c6f08dac5630008b087a5 v2.0 changed default parameter of solver to PG_ON_SOLVER push Christoph Zengler wercker pending completion   set done
5f0c6be9dac5630008b0863b v2.0 removed a superfluous method push Christoph Zengler wercker pending completion   set done
5f0c484bdac5630008b0755e v2.0 fixed a test push Steffen Hildebrandt wercker pending completion   set done
5f0ad2b3dac5630008b01eeb v2.0 renamed config parameter push Christoph Zengler wercker pending completion   set done
5f0ad182dac5630008b01eba feature/formula-merging renamed config parameter push Christoph Zengler wercker pending completion   set done
5f0a1241dac5630008b0112a feature/formula-merging renamed config parameter push Christoph Zengler wercker pending completion   set done