• 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 solverKnownVariables
branch: solverKnownVariables
CHANGE BRANCH
x
Reset
  • solverKnownVariables
  • 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
  • graph
  • io-improvement
  • master
  • minimizationUsingDontCareConditions
  • more-io
  • pbcSimplification
  • qmc
  • refactoring
  • release/2.0
  • release/v2.0.1
  • release1.2
  • release_1.3.1
  • repairCoveralls
  • unmodifiableSortedSet
  • v1.0
  • v1.0-RC2
  • v1.0-RC3
  • v1.0-RC4
  • v2.0

pending completion
#176

push

wercker

SHildebrandt
proposal for SATSolver.addWithoutUnknown

11128 of 11497 relevant lines covered (96.79%)

0.97 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#176 solverKnownVariables proposal for SATSolver.addWithoutUnknown push 29 Nov 2016 12:26PM UTC SHildebrandt wercker pending completion  
#175 solverKnownVariables another method for known variables push 29 Nov 2016 10:29AM UTC SHildebrandt 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