logic-ng / LogicNG / #253

Builds Branch Commit Type Ran Committer Via Coverage
#253 bdd small improvements to the BDD CNF generation push zengler wercker pending completion   set done
#252 bdd BDD low level tests push zengler wercker pending completion   set done
#251 bdd BDD based CNF transformation push zengler wercker pending completion   set done
#250 bdd more BDD tests push zengler wercker pending completion   set done
#249 bdd finished BDD variable profile push zengler wercker pending completion   set done
#248 bdd finished BDD support push zengler wercker pending completion   set done
#247 bdd finished BDD path count push zengler wercker pending completion   set done
#246 bdd finished BDD full model generation push zengler wercker pending completion   set done
#245 bdd finished BDD model generation with fixed variables push zengler wercker pending completion   set done
#244 bdd finished BDD model generation push zengler wercker pending completion   set done
#243 bdd finished BDD quantifier elimination push zengler wercker pending completion   set done
#242 bdd finished BDD restriction push zengler wercker pending completion   set done
#241 bdd Refactored BDD package push zengler wercker pending completion   set done
#240 bdd Added tets for BDD Dot File Writer push zengler wercker pending completion   set done
#239 bdd simple dot file writer for BDDs push zengler wercker pending completion   set done