logic-ng / LogicNG / #208

Builds Branch Commit Type Ran Committer Via Coverage
#208 release1.2 Added tests for improved PBConstraint restriction. push MAMSiegmund wercker pending completion   set done
#207 pbcSimplification First draft of a PBCSimplification. push MAMSiegmund wercker pending completion   set done
#206 release1.2 Improved returns when restricting PBConstraints. push MAMSiegmund wercker pending completion   set done
#205 release1.2 Finished pull request with comments and some performance improvements push zengler wercker pending completion   set done
#204 release1.2 Merge pull request #8 from d-bischoff/unmodifiableSortedSet unmodifiableSortedSet fix push web-flow wercker pending completion   set done
#203 drup fixed a unit test push zengler wercker pending completion   set done
#202 release1.2 Added tests for ExtendedFormulaFactory. push MAMSiegmund wercker pending completion   set done
#201 release1.2 Adjusted Copyright Header push zengler wercker pending completion   set done
#200 release1.2 Added formula factor state and statistics push zengler wercker pending completion   set done
#199 release1.2 Merge branch 'release1.2' of https://github.com/logic-ng/LogicNG into release1.2 push MAMSiegmund wercker pending completion   set done
#198 release1.2 Fixed a MaxSAT solver test wrt. to the Glucose bugfix push zengler wercker pending completion   set done
#197 release1.2 Merge branch 'solverKnownVariables' into release1.2 push zengler wercker pending completion   set done
#196 release1.2 Merge remote-tracking branch 'origin/release_1.2' into release1.2 push zengler wercker pending completion   set done
#195 release1.2 Added Dimacs Writer push zengler wercker pending completion   set done
#194 release1.2 Reintroduced name in graph push zengler wercker pending completion   set done