ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	3	Enhancement	Accepted	Low	----	sebastian.riedel		Loading from wrong format should produce a sensible error message
	4	Enhancement	Accepted	High	----	sebastian.riedel		Sensible out-of-the-box configuration
	5	Enhancement	Accepted	Medium	Release0.1	sebastian.riedel		Produce warnings(forbid?) global formulas with unsigned weights
	8	Defect	Accepted	Medium	----	sebastian.riedel		Duplicate variables in fully grounded factor cause exception
	9	Defect	Accepted	High	----	sebastian.riedel		Proper Manual
	10	Defect	Accepted	High	----	sebastian.riedel		Does not run on Windows
	11	Defect	Accepted	Medium	----	sebastian.riedel		Double use of a weight function in two functions creates an index out of bounds error