CLab# 1.0 API Documentation
ClabBDD.UnsatisfiableRule Property
Gets the unsatisfiable rule if one exist.
public
UnsatisfiableRule {get;}
See Also
ClabBDD Class
|
CLab.BDD Namespace