logic-classes-1.5.1: Framework for propositional and first order logic, theorem proving

Index - B

BijectionData.Logic.Types.FirstOrderPublic
BinOp 
1 (Type/Class)Data.Logic.Classes.Combine
2 (Data Constructor)Data.Logic.Classes.Combine
binopData.Logic.Classes.Combine
BooleanData.Boolean, Data.Boolean.SatSolver
booleanToCNFData.Boolean, Data.Boolean.SatSolver
botFixityData.Logic.Classes.Pretty
branchOnVarData.Boolean.SatSolver