logic-ng / LogicNG / 5cc199b0ab79a30008e91f8b

Builds Branch Commit Type Ran Committer Via Coverage
5cc199b0ab79a30008e91f8b development added nnf predicate push Rouven Walter wercker pending completion   set done
5caf0942ab79a30008df82ee development added javadoc + tests push Rouven Walter wercker pending completion   set done
5caf0674ab79a30008df7c4f feature/formula-helper added javadoc + tests push Rouven Walter wercker pending completion   set done
5caef6d8ab79a30008df660c feature/formula-helper formula helper for variables() and literals() of multiple formuals push Rouven Walter wercker pending completion   set done
5c9b466b23fcb70008d4ad42 feature/prime-implicant Merge branch 'development' into feature/prime-implicant push Rouven Walter wercker pending completion   set done
5c9aaeb823fcb70008d474ab development adjusted copyright header push Rouven Walter wercker pending completion   set done
5c9aad4e23fcb70008d47478 development Backbone: Fix in isRotatable check push Rouven Walter wercker pending completion   set done
5c95074223fcb70008d32251 feature/prime-implicant prime implicant generation on top of minisat push Rouven Walter wercker pending completion   set done
5c95069323fcb70008d3221e feature/prime-implicant Fixed Javadoc push Christoph Zengler wercker pending completion   set done
5c8e34f8c9e72500080d5f55 development Fixed Javadoc push Christoph Zengler wercker pending completion   set done
5c8e34dbc9e72500080d5f44 master Fixed Javadoc push Christoph Zengler wercker pending completion   set done
5c8e32e023fcb70008d0cef3 master <a href="https://github.com/logic-ng/LogicNG/commit/9d2275777">Revert &quot;better handling of pseudo-Boolean contraints&quot; This reverts commit </a><a class="double-link" href="https://github.com/logic-ng/LogicNG... push Christoph Zengler wercker pending completion   set done
5c8e316d23fcb70008d0cee7 development Revert "better handling of pseudo-Boolean contraints" This reverts commit 9e7671247. push Christoph Zengler wercker pending completion   set done
5c8e1a81ab79a30008d19262 development Adjusted readme for 1.5.0 push Christoph Zengler wercker pending completion   set done
5c899f6723fcb70008cfadf5 development new sorted formula string representation push Christoph Zengler wercker pending completion   set done