#223

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#223	development	minor improvements in the distributive simplifier	push	09 Oct 2017 12:54PM UTC	zengler	wercker	pending completion set done
#222	development	merged DRUP branch	push	30 Sep 2017 08:08AM UTC	zengler	wercker	pending completion set done
#221	development	Slighty improved enumerateAllModels().	push	30 Aug 2017 12:16PM UTC	MAMSiegmund	wercker	pending completion set done
#220	development	Adjusted version to 1.2.5	push	27 Aug 2017 12:03PM UTC	zengler	wercker	pending completion set done
#219	development	Improvement on SATtest.	push	24 Aug 2017 02:52PM UTC	MAMSiegmund	wercker	pending completion set done
#218	development	Added tests for ModelEnumeration and DistributiveSimplifier.	push	22 Aug 2017 02:38PM UTC	MAMSiegmund	wercker	pending completion set done
#217	development	DistributiveSimplifier added, plus possibility to give additional variables for enumerateAllModels(). Not enough tests so far..	push	21 Aug 2017 05:08PM UTC	MAMSiegmund	wercker	pending completion set done
#216	development	fixes a bug when a not eq0 CC was generated	push	04 Aug 2017 11:31PM UTC	zengler	wercker	pending completion set done
#215	development	Parametrized unsat core	push	22 Jul 2017 11:47PM UTC	zengler	wercker	pending completion set done
#214	development	Added Maven Central Repository Deployment	push	14 Jul 2017 02:58PM UTC	zengler	wercker	pending completion set done
#213	release1.2	Added Maven Central Repository Deployment	push	14 Jul 2017 02:45PM UTC	zengler	wercker	pending completion set done
#212	master	Added Maven Central Repository Deployment	push	14 Jul 2017 02:44PM UTC	zengler	wercker	pending completion set done
#211	release1.2	Adjustements im POM	push	14 Jul 2017 08:06AM UTC	zengler	wercker	pending completion set done
#210	release1.2	some minor bugfixing	push	14 Jul 2017 07:17AM UTC	zengler	wercker	pending completion set done
#209	release1.2	some refactoring and unit testing for enhanced PBC restriction	push	13 Jul 2017 08:17PM UTC	zengler	wercker	pending completion set done

← Previous
1
2
…
15
16
17
18
19
20
21
22
23
…
31
32
Next →