#133

Builds	Branch	Commit	Type	Ran	Committer	Coverage
#133	bc1b9b606cb57412af8e44c687c236cd2c47f0fd	Added more test coverage.	push	05 Aug 2016 12:38AM UTC	MAMSiegmund	pending completion set done
#132	266eacb47d9e047b559adc20e67e376163df67dc	Further improvements to test coverage.	push	03 Aug 2016 10:21PM UTC	MAMSiegmund	pending completion set done
#131	2fc8e35f5501fcc8c02f3d607cf278adc9c5a3cb	Improved test coverage in several areas.	push	03 Aug 2016 02:20PM UTC	MAMSiegmund	pending completion set done
#130	bdb73dec273d21259ce002bf31f588e76e60323d	Implemented an advanced CNF encoder	push	17 Jul 2016 02:18PM UTC	czengler	pending completion set done
#129	f35464003655868d7bce365da233ef382a27f49c	Merge branch 'unsatcores' into release_1.1	push	16 Jul 2016 02:05PM UTC	czengler	pending completion set done
#128	ad28c0896fcd2380b5eced33d10ce6392c4da815	fixed a bug in the CC encoding	push	28 Jun 2016 10:28AM UTC	czengler	pending completion set done
#127	77f9014a628756d6dda096506703a6c7188dc6e8	added the ability to add relaxed formulas to the solver	push	22 Jun 2016 07:06AM UTC	czengler	pending completion set done
#126	23a9402dca18287be89f0535bdd33d6b1a057445	Merge branch 'pbo' into unsatcores	push	21 Jun 2016 08:05PM UTC	czengler	pending completion set done
#125	10254090a8a88cd739c2e0c36f23e3ed0e1b5ce1	Merge branch 'pbo' into release_1.1	push	21 Jun 2016 08:04PM UTC	czengler	pending completion set done
#124	fc4c704cd99ff31caf9fff6583bf8c5d16b4c623	special CCResult is now a general EncodingResult	push	21 Jun 2016 07:57PM UTC	czengler	pending completion set done
#123	7eac5fe90c2da17e51b713b587b60f3a4f1ae766	some more test adjustements	push	19 Jun 2016 11:26AM UTC	czengler	pending completion set done
#122	1c7f6c144fcebb4ce4b313f54e57fb91878b4bbe	Merge pull request #2 from logic-ng/minicard_fix Fixed two bugs in the MiniCard implementation	push	18 Jun 2016 10:20PM UTC	web-flow	pending completion set done
#121	4c70446959b8d00e0a093203824af67dd5478480	two bugfixes for MiniCard: 1-deep clause simplification and 2-removal of satisfied clauses	push	18 Jun 2016 10:15PM UTC	czengler	pending completion set done
#120	ee67918c67226a02895c498135dc685e8437d6de	implemented direct CC encodings for cleaneling and fixed a bug in MiniCard	push	18 Jun 2016 10:09PM UTC	czengler	pending completion set done
#119	f25bc8b7ebb56238d58eb5411254bf20942da3e1	support adding of incremental cardinality constraints in MiniSat	push	16 Jun 2016 08:01AM UTC	czengler	pending completion set done

← Previous
1
2
…
21
22
23
24
25
26
27
28
29
30
31
32
Next →