spdfcore.stanalys

Class InconsistencyProof