Skip to content
Commit 75190aab authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Unit test for belief. 

Looks like the example from the paper needs splitting (e.g., R1).
Therefore we need bsetup_with_splits_subsumes() instead of just
bsetup_subsumes().
parent 5b11ead1
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment