Package sofie.maxsat

Class Summary
Config Class Configuration This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
FMSStar Class HypothesisGenerator This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
Hypothesis Class Hypothesis This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
HypothesisStore Class HypothesisStore This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
Literal Class Literal This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
Measures Class HypothesisWithMeasures This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
Rule Class Rule This class is part of the SOFIE system (http://mpii.de/yago-naga/sofie).
 

Enum Summary
Hypothesis.Truth 3-valued Truth values