The main class for finding valid solutions the BDD way. The class is designed to be used by "CLab.Clab", which provides the data needed for this class to work.
For a list of all members of this type, see ClabBDD Members.
System.Object
ClabBDD
Public static (Shared in Visual Basic) members of this type are safe for multithreaded operations. Instance members are not guaranteed to be thread-safe.
Namespace: CLab.BDD
Assembly: CLab (in CLab.dll)