logic-ng / LogicNG / 5ad9bf9edfd4d200018854a9

Builds Branch Commit Type Ran Committer Via Coverage
5ad9bf9edfd4d200018854a9 qmc compute prime implicants push Christoph Zengler wercker pending completion   set done
5ad9921adfd4d20001883261 qmc a little more work on QMC push Christoph Zengler wercker pending completion   set done
5ad8ec783ada9c0001718c59 qmc begin QMC implementation push Christoph Zengler wercker pending completion   set done
#265 bdd some more work on hypergraphs and the FORCE ordering push zengler wercker pending completion   set done
#264 bdd Implemented FORCE variable ordering algorithm and hypergraph data structure push zengler wercker pending completion   set done
#263 development Unit Tests Stream Parser push zengler wercker pending completion   set done
#262 bdd removed old dimacs writer push zengler wercker pending completion   set done
#261 development Adjusted readme push zengler wercker pending completion   set done
#260 bdd Merge branch 'development' into bdd push zengler wercker pending completion   set done
#259 development Improved and simplified the parsers. Variables can now start with a number. push zengler wercker pending completion   set done
#258 io-improvement Improved and simplified the parsers. Variables can now start with a number. push zengler wercker pending completion   set done
#257 io-improvement Added an anonymizer for formulas push zengler wercker pending completion   set done
#256 bdd Occurence based BDD orderings push zengler wercker pending completion   set done
#255 bdd Implemented a generic mechanism for BDD variable orderings and implemented DFS and BFS push zengler wercker pending completion   set done
#254 bdd Some more refactoring, testing and simplification for BDDs push zengler wercker pending completion   set done