Assertion: circuit | /r/HasProperty | satisfiable
Facets:
Source sentences:
text: The circuit on the left is satisfiable but the circuit on the right is not.
text: If that is the case, the circuit is called satisfiable.