• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

logic-ng / LogicNG
97%
master: 97%

Build:
Build:
LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added 20 Dec 2015 12:31PM UTC
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 graph
branch: graph
CHANGE BRANCH
x
Reset
  • graph
  • 07645c52dc4e2ebd0c5a831e2b50712af647f708
  • 0ea5bfaf8095944d052c8c35f7838757dbb781a1
  • 1.3-java6
  • 10254090a8a88cd739c2e0c36f23e3ed0e1b5ce1
  • 13d67eda691229904ad04bf92438eba733d1e55e
  • 1c7f6c144fcebb4ce4b313f54e57fb91878b4bbe
  • 1dc8aed65fce44dd4fe70face5c553feed4790f9
  • 23a9402dca18287be89f0535bdd33d6b1a057445
  • 266eacb47d9e047b559adc20e67e376163df67dc
  • 274b61eef18ac542295a43e81ecf32f4ff571103
  • 277c26b65ae8b17e12184d965d35657a57ac84f0
  • 2fc8e35f5501fcc8c02f3d607cf278adc9c5a3cb
  • 347e3e4735ee7cf48fd873fd618577e0891ad913
  • 3814d831a74c0fe2588d86effcd6a1936d5629a1
  • 3870b4fe8c7902d0a9f7daf4eb12e62a7f1bab0b
  • 38bcf247b73c5caae0b9a3bc16c325fa5ce409d1
  • 3ef1b3cb715c2a5ecccbdba503cc0c51d9c73e2d
  • 40dab847e396c821d82a59197678d416efc7e601
  • 40fd64318f314ce18919e9a933cf22552405f299
  • 4212e5c7d144b94601c7e42a320fa3287732b7c2
  • 430405468c0935efea6f930451f980231bcedf7d
  • 4827cb8276a09169edced8195b2abd9095fdc8eb
  • 48dcdf1d5c5152d310e152b962ae96c0212f5052
  • 4c70446959b8d00e0a093203824af67dd5478480
  • 4d21492f577b97c35e3f087604a231b6bd8ed85a
  • 503e8a857f6ac9b89e5b27bdb5e8dd2b8fd2dcdd
  • 5a7585f9238ae9952eeffe560e3700b46825a568
  • 6348725bdcca638ac0070fb407163834806d37a6
  • 68ee71182168e160e306048d3fe53a9cb0271515
  • 6e775da55004c0cf17c0c7c266e6708fc3d9612a
  • 7146c65eb883de3a48abacd6143ef268934d4c13
  • 71696937a2e02dda04b7a4cac23425484fd1e439
  • 7279d6d67138e05a861f70a491788c1e8cc9aec4
  • 72e805a61a3e6729b48614672cc8caafd5a633ca
  • 72fcf2c29527b5c3c44d5fc3304b7cac3c8a37b6
  • 7384fe97e38b90b5d8db4696f144fe4edd28d1ea
  • 74cbbbfa7dc25ee05668d630a785eec6a0333100
  • 7667e428838d1f1af4f663d07381d2950d476953
  • 77f9014a628756d6dda096506703a6c7188dc6e8
  • 795bb06d53814a14cf6b7546888269caae28d481
  • 7c18c8dabd65678ff8e08ffaae162522659f62b2
  • 7eac5fe90c2da17e51b713b587b60f3a4f1ae766
  • 810178e22aefaeebb7edecdb3db52a128fa09b62
  • 837d8031644b63244806ee4a7efd617fc6ef8672
  • 8b62ddd2a47c655afe753f3a5bea16cd25b73548
  • 8c6ceb043981bd9acd6dce29e5980d2fd32bf7d0
  • 912d4a5f4b2c0001384d0bfdd2fb67147e33152c
  • 95e648576767b5f425f7916b6f4ebc19099c51ed
  • 97404b66eade4ebea1f3e32c5176909caeec5f9c
  • 9d76e6c44e697a8ad88596c3b7cf23437911ea8f
  • EQE_PBC
  • a282c9b707f6abb071765d87b4912a9e65663431
  • a92cdecdfaa9b8c2f92750b5285e11d138e70cca
  • aaa970c46b230e8133a2d309672cffd6fa4fbfbb
  • ad28c0896fcd2380b5eced33d10ce6392c4da815
  • af5f5b347ec7d075bfe05fac487dd0f013a3de50
  • assertj
  • b20a727beb9ca221351fab95796a26ed1e6c189d
  • b212d1842151ff6cd77339694d39b6c5f8557f50
  • b48c46e632be815c7c0b7ad66acaf350b4f2aad2
  • b7a0446567e42e50399d93a4e558abe177530614
  • bc1b9b606cb57412af8e44c687c236cd2c47f0fd
  • bc438d36d1f010e9189ea57a4c1eda8d0682d184
  • bdb73dec273d21259ce002bf31f588e76e60323d
  • bdd
  • be9a0bb2abc32173a19431d974cebff1258166a1
  • c7afcd236d4f68a00246d9bbfd67f7c669d64274
  • ca506d190d9f030be7e904f34c97a2c43ba8173b
  • d3114561bf3e787d1a7de4a0036cc47059ddfee3
  • d89d8432d124552aac1027b813e4ff5231feeae1
  • de9fc5f277be4007770e6724f5ddb9dc0c17828c
  • development
  • dimacsfilewriter_singleclausebug
  • drup
  • e3071f6113ca0c1494e0b7e5066defceeb911a73
  • e43723b959835126d19f3bfaf4c4b5760615e50f
  • eb95a822c7c7c3e60d3fcb50cbc11b50f39fc2f3
  • ee67918c67226a02895c498135dc685e8437d6de
  • eee6097dd28c42a2e1295a10378b50118c035e53
  • exp/improved-pg
  • exp/improved-selection-order
  • extendedff
  • f1677084cb9238f1408f3f84d4d0a70285488f50
  • f25bc8b7ebb56238d58eb5411254bf20942da3e1
  • f35464003655868d7bce365da233ef382a27f49c
  • fc2ad97245eed0a161770b8f1731c80c54e9ff6f
  • fc4c704cd99ff31caf9fff6583bf8c5d16b4c623
  • fd5e8edbf469f7852f35b0eb797aa5615ad91b00
  • feature/backbone-simplifier
  • feature/backbones
  • feature/cnf-on-solver
  • feature/constraint-simplifier
  • feature/dnnf
  • feature/formula-formatter-refactoring
  • feature/formula-helper
  • feature/formula-interface
  • feature/formula-merging
  • feature/j8-refactoring
  • feature/prime-implicant
  • feature/removal-transformations
  • feature/selection-order
  • feature/subsumption
  • feature/upZeroLits
  • ffstate
  • io-improvement
  • master
  • minimizationUsingDontCareConditions
  • more-io
  • pbcSimplification
  • qmc
  • refactoring
  • release/2.0
  • release/v2.0.1
  • release1.2
  • release_1.3.1
  • repairCoveralls
  • solverKnownVariables
  • unmodifiableSortedSet
  • v1.0
  • v1.0-RC2
  • v1.0-RC3
  • v1.0-RC4
  • v2.0

pending completion
#191

push

wercker

MAMSiegmund
Added missing comments.

11343 of 11722 relevant lines covered (96.77%)

0.97 hits per line

Relevant lines Covered
Build:
Build:
11722 RELEVANT LINES 11343 COVERED LINES
0.97 HITS PER LINE
Source Files on graph
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#191 graph Added missing comments. push 30 Jun 2017 08:48AM UTC MAMSiegmund wercker pending completion  
#188 graph Added GraphDimacsFileWriter and improved tests. push 28 Jun 2017 02:07PM UTC MAMSiegmund wercker pending completion  
#187 graph Completed FormulaDimacsFileWriter and added AssertJ-Tests. push 27 Jun 2017 03:14PM UTC MAMSiegmund wercker pending completion  
#186 graph Initial commit of graphs package with generic Graph and Node Classes and a Bron-Kerbosch-Algorithm to compute the maximal cliques of a Graph. push 12 Jun 2017 04:23PM UTC MAMSiegmund wercker pending completion  
See All Builds (469)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc