msakai / toysolver
72%
master: 71%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added
Files 120
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 feature/new-wcnf
branch: feature/new-wcnf
CHANGE BRANCH
x

222

push

github-actions

Masahiro Sakai 
add samples/maxsat/new-format.wcnf

9887 of 13812 relevant lines covered (71.58%)

0.72 hits per line

Relevant lines Covered
13812 RELEVANT LINES 9887 COVERED LINES
0.72 HITS PER LINE
Source Files on feature/new-wcnf

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
222 feature/new-wcnf add samples/maxsat/new-format.wcnf push Masahiro Sakai github-actions pending completion  
220 feature/new-wcnf toyconvert: add --wcnf-new option for writing in new WCNF format push Masahiro Sakai github-actions pending completion  
217 feature/new-wcnf fix new WCNF parser to accept empty string (cont'd) push Masahiro Sakai github-actions pending completion  
208 feature/new-wcnf introduce SomeWCNF type instead of using 'Either WCNF NewWCNF' push Masahiro Sakai github-actions pending completion  
207 feature/new-wcnf add NewWCNF datatype and its FileFormat instance push Masahiro Sakai github-actions pending completion  
See All Builds (1355)