Did I find the right examples for you? yes no

All Samples(1)  |  Call(0)  |  Derive(0)  |  Import(1)

src/s/a/sage-HEAD/src/sage/logic/propcalc.py   sage(Download)
### converts (cnf) returns w/o change
 
import boolformula
import logicparser