logic-ng / LogicNG / 51

Builds Branch Commit Type Ran Committer Via Coverage
51 master Extended MiniSAT configuration with initial phase push czengler travis-ci pending completion   set done
50 v1.0-RC3 Release Candidate 3 push czengler travis-ci pending completion   set done
49 master Release Candidate 3 push czengler travis-ci pending completion   set done
48 master Updated Readme to RC3 push czengler travis-ci pending completion   set done
47 master Some minor code cleanup and better versions of the logos push czengler travis-ci pending completion   set done
46 master Removed certified unsat option - this will come in a later version push czengler travis-ci pending completion   set done
45 master Improved test coverage push czengler travis-ci pending completion   set done
44 master deleted test.png push czengler travis-ci pending completion   set done
43 master Some special tests for MiniSat and MiniCard push czengler travis-ci pending completion   set done
41 master Some special tests for MiniSat and MiniCard push czengler travis-ci pending completion   set done
40 master added a parse method to FormulaFactory push Steffen Hildebrandt travis-ci pending completion   set done
39 master added more unit tests push Steffen Hildebrandt travis-ci pending completion   set done
38 master added unit tests for pbcs in printers push Steffen Hildebrandt travis-ci pending completion   set done
37 master Improved test coverage on configuration objects push czengler travis-ci pending completion   set done
36 master added unit tests for numberOfOperands push Steffen Hildebrandt travis-ci pending completion   set done