logic-ng / LogicNG / 5c8e32e023fcb70008d0cef3 / 1
97%
master: 97%

DEFAULT BRANCH: master
Ran
Files 220
Run time 10s
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
coverage: 96.911% (+0.2%) from 96.745%
5c8e32e023fcb70008d0cef3.1

push

wercker

Christoph Zengler 
<a href="https://github.com/logic-ng/LogicNG/commit/<a class=hub.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">9d2275777<a href="https://github.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">&quot;&gt;Revert &amp;quot;better handling of pseudo-Boolean contraints&quot;

This reverts commit </a><a class="double-link" href="https://github.com/logic-ng/LogicNG/commit/<a class="double-link" href="https://github.com/logic-ng/LogicNG/commit/9e7671247ec3136c720e0876583af21a0997bba9">9e7671247</a>">9e7671247</a><a href="https://github.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">.

14026 of 14473 relevant lines covered (96.91%)

0.97 hits per line

Source Files on job 5c8e32e023fcb70008d0cef3.1