sofie.maxsat
Classes 
Config
FMSStar
Hypothesis
HypothesisStore
Literal
Measures
Rule
Enums 
Hypothesis.Truth