Did I find the right examples for you? yes no

All Samples(1)  |  Call(0)  |  Derive(0)  |  Import(1)
Module used to evaluate boolean formulas

AUTHORS:

- Chris Gorecki (2006): initial version

- Paul Scurek (2013-08-05): updated docstring formatting

EXAMPLES:
(more...)

src/s/a/sage-HEAD/src/sage/logic/boolformula.py   sage(Download)
#*****************************************************************************
 
import booleval
import logictable
import logicparser