logic-ng / LogicNG

97%

master: 97%

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

Build # #176

Build Type

push

wercker

Committed by SHildebrandt

Commit Message

proposal for SATSolver.addWithoutUnknown

Run Details

11128 of 11497 relevant lines covered (96.79%)

0.97 hits per line