newca12 / gapt
37%
master: 34%

LAST BUILD BRANCH: wip
DEFAULT BRANCH: master
Repo Added
Files 236
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 sat4j
branch: sat4j
CHANGE BRANCH
x

36

push

travis-ci

newca12 
Add Sat4j fallback to minisat

8360 of 22478 relevant lines covered (37.19%)

0.37 hits per line

Relevant lines Covered
22478 RELEVANT LINES 8360 COVERED LINES
0.37 HITS PER LINE
Source Files on sat4j
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
36 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion  
35 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion  
33 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion  
See All Builds (27)