logic-ng / LogicNG / 5d7b96f9a952c20008b57b80

Builds Branch Commit Type Ran Committer Via Coverage
5d7b96f9a952c20008b57b80 development added unit tests for selection order push Rouven Walter wercker pending completion   set done
5d7b6220a952c20008b55381 development minor fix in SATSolver API push Rouven Walter wercker pending completion   set done
5d7b5dd7a952c20008b54d49 development Fixed behaviour for model enumeration with additional assignments push Christoph Zengler wercker pending completion   set done
5d7b5994a952c20008b54a10 development Version 1.6.1 push Christoph Zengler wercker pending completion   set done
5d7b5969a952c20008b549f0 feature/selection-order selection order is only available with a specific SAT call push Christoph Zengler wercker pending completion   set done
5d7b597fa952c20008b549fe development Merge branch 'feature/selection-order' into development push Christoph Zengler wercker pending completion   set done
5d7b51b1a952c20008b542a6 development FormulaStringRepresentation: intermediate method toInnerString push Rouven Walter wercker pending completion   set done
5d72d954a952c20008b09f94 development minor bugfix; added unit tests to increase test coverage push Rouven Walter wercker pending completion   set done
5d6f831aa952c20008ae3040 master Merge branch 'development' push Christoph Zengler wercker pending completion   set done
5d6e463ca952c20008ad425e development adjusted readme push Christoph Zengler wercker pending completion   set done
5d6e44eaa952c20008ad4154 development fixed a small bug in the BDD helper method for constants push Christoph Zengler wercker pending completion   set done
5d6e0974a952c20008ad0208 development make BDDFactory and BDDKernel extensible push Christoph Zengler wercker pending completion   set done
5d5facc7a952c20008a60d7d development Merge branch 'feature/cnf-on-solver' into development push Christoph Zengler wercker pending completion   set done
5d3f3b6221ca08000854a2d1 feature/cnf-on-solver Large backbone unit tests push Christoph Zengler wercker pending completion   set done
5d3eda0ba952c2000898b290 feature/cnf-on-solver Integrated backbone computation in top-level SAT solver push Christoph Zengler wercker pending completion   set done