894
72%

Ran 18 Mar 2016 05:18PM UTC

Jobs 1

Files 87

Run time 4s

Badge

Embed ▾

pending completion

Build # 894

Build Type

push

travis-ci

Committed by

msakai

Commit Message

remove ToySolver.Converter.MaxSAT2NLPB module and --maxsat-nonlinear option from toyconvert command

This is because WBO->PB transformation can produce non-linear terms by default.
We can use --linearlize option to linealize the resulting PB formula again.

Run Details

9406 of 12727 relevant lines covered (73.91%)

1.4 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
2	894.2 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1)	18 Mar 2016 05:18PM UTC	0	73.91	Travis Job 894.2

Source Files on build 894

Detailed source file information is not available for this build.

msakai / toysolver / 894
72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 894

msakai / toysolver / 894 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 894

msakai / toysolver / 894
72%

README BADGES
x