Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix negated factor condition example for not-a-and-not-b (#1683)
test_factor_ops makes it clear that `!a,!b` is "not-a OR not-b" and that the "not-a AND not-b" (implied by the docs) should be `!a-!b`.
- Loading branch information