reverted restriction to float weights
made default grounding runnable
re-added printing of weighted formulas after learning
fixed logical error Implication.isTrue, removed obsolete method isTrue from Literal, optimized other isTrue computations
make closed-world assumption explicitly (necessitated by changed formula truth computation)
moved variant with different grounding method to a new class
explicitly make closed-world assumption
fixed test case results
Merge branch 'stable'