logic-ng / LogicNG / #193

Builds Branch Commit Type Ran Committer Via Coverage
#193 release1.2 fixed POM push zengler wercker pending completion   set done
#192 release1.2 fixed POM push zengler wercker pending completion   set done
#191 graph Added missing comments. push MAMSiegmund wercker pending completion   set done
#190 extendedff Added tests for ExtendedFormulaFactory. push MAMSiegmund wercker pending completion   set done
#189 unmodifiableSortedSet unmodifiableSortedSet fix push d-bischoff wercker pending completion   set done
#188 graph Added GraphDimacsFileWriter and improved tests. push MAMSiegmund wercker pending completion   set done
#187 graph Completed FormulaDimacsFileWriter and added AssertJ-Tests. push MAMSiegmund wercker pending completion   set done
#186 graph Initial commit of graphs package with generic Graph and Node Classes and a Bron-Kerbosch-Algorithm to compute the maximal cliques of a Graph. push MAMSiegmund wercker pending completion   set done
#185 extendedff Updated Tests for ExtendedFormulaFactory. push MAMSiegmund wercker pending completion   set done
#184 extendedff First ExtendedFormulaFactory version with only the former ClearCacheFormulaFactory. push MAMSiegmund wercker pending completion   set done
#183 assertj Converted further tests to AssertJ. push MAMSiegmund wercker pending completion   set done
#182 ffstate Implemented variant 2 and 3 as ClearCacheFormulaFactory and a copy method in the original FormulaFactory respectively. push MAMSiegmund wercker pending completion   set done
#181 assertj First switch to AssertJ. push MAMSiegmund wercker pending completion   set done
#180 ffstate Local transformation caches are now cleared when the ExtendedFormulaFactory loads a state. push MAMSiegmund wercker pending completion   set done
#179 ffstate Added shouldCache method for FormulaFactorys. Adapted Tseitin- and PlaistedGreenbaum-Transformations to work without caching. push MAMSiegmund wercker pending completion   set done