This PR resolves issue #23. It adds new methods that allow to pick valuations and clauses based on values provided by a random number generator. Sadly, the distribution used by these methods is not uniform, but it should be sufficient for now (A uniform approach is possible, but requires pre-computation of cardinality for each node).
Additionally, path was renamed to clause to better mimic logical terminology.
This PR resolves issue #23. It adds new methods that allow to pick valuations and clauses based on values provided by a random number generator. Sadly, the distribution used by these methods is not uniform, but it should be sufficient for now (A uniform approach is possible, but requires pre-computation of cardinality for each node).
Additionally,
pathwas renamed toclauseto better mimic logical terminology.