Skip to content
Commit 23ffd139 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

[z] K phi now works for unit propagation. 

In [Knowledge|Belief]::Reduce(), we simply prepend z to the formula.
parent d6013668
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment