logic-ng / LogicNG
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added
Files 272
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH bdd
branch: bdd
CHANGE BRANCH
x

#265

push

wercker

zengler 
some more work on hypergraphs and the FORCE ordering

13379 of 13863 relevant lines covered (96.51%)

0.97 hits per line

Relevant lines Covered
13863 RELEVANT LINES 13379 COVERED LINES
0.97 HITS PER LINE
Source Files on bdd
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#265 bdd some more work on hypergraphs and the FORCE ordering push zengler wercker pending completion  
#264 bdd Implemented FORCE variable ordering algorithm and hypergraph data structure push zengler wercker pending completion  
#262 bdd removed old dimacs writer push zengler wercker pending completion  
#260 bdd Merge branch 'development' into bdd push zengler wercker pending completion  
#256 bdd Occurence based BDD orderings push zengler wercker pending completion  
#255 bdd Implemented a generic mechanism for BDD variable orderings and implemented DFS and BFS push zengler wercker pending completion  
#254 bdd Some more refactoring, testing and simplification for BDDs push zengler wercker pending completion  
#253 bdd small improvements to the BDD CNF generation push zengler wercker pending completion  
#252 bdd BDD low level tests push zengler wercker pending completion  
#251 bdd BDD based CNF transformation push zengler wercker pending completion  
See All Builds (469)