Module: MagicLogic

Defined in:

lib/magic_logic.rb,
lib/magic_logic/utils.rb,
lib/magic_logic/version.rb,
lib/magic_logic/operator.rb

Defined Under Namespace

Modules: Base, Operator, Utils Classes: Atom, FORM, NEG, Taut, UTaut

Constant Summary

P =

Atom

VERSION =

"0.0.3"