logic-ng / LogicNG / #238

Builds Branch Commit Type Ran Committer Via Coverage
#238 development adjusted POM push zengler wercker pending completion   set done
#237 development Merge branch 'development' of github.com:logic-ng/LogicNG into development push zengler wercker pending completion   set done
#236 master Release 1.3.1 push zengler wercker pending completion   set done
#235 release_1.3.1 Include the importer functionality directly in the formula factory push zengler wercker pending completion   set done
#234 release_1.3.1 Adjusted copyright push zengler wercker pending completion   set done
#233 release_1.3.1 Implemented a new formula transformation for importing formulas in a new formula factory push zengler wercker pending completion   set done
#232 1.3-java6 Java 1.6 version of LogicNG 1.3 push zengler wercker pending completion   set done
#231 development fixed a small bug where propositions were null in DRUP unsat cores push SHildebrandt wercker pending completion   set done
#230 development Changed development version to 1.4-SNAPSHOT push zengler wercker pending completion   set done
#229 master Release 1.3 push zengler wercker pending completion   set done
#228 development fixed some javadoc issues and code formatting push zengler wercker pending completion   set done
#227 development More testing push zengler wercker pending completion   set done
#226 development Lots of small code improvements push zengler wercker pending completion   set done
#225 development Fixed a small bug in the proof tracer and added a lot of tests push zengler wercker pending completion   set done
#224 development simplify trivial pseudo-Boolean constraint's toString() method push zengler wercker pending completion   set done