Module: Ravensat

Defined in:

lib/ravensat.rb,
lib/ravensat/ast.rb,
lib/ravensat/claw.rb,
lib/ravensat/dimacs.rb,
lib/ravensat/solver.rb,
lib/ravensat/version.rb,
lib/ravensat/ast/node.rb,
lib/ravensat/extension.rb,
lib/ravensat/ast/or_node.rb,
lib/ravensat/ast/and_node.rb,
lib/ravensat/ast/nil_node.rb,
lib/ravensat/ast/not_node.rb,
lib/ravensat/ast/opr_node.rb,
lib/ravensat/ast/var_node.rb,
lib/ravensat/ast/initial_node.rb,
lib/ravensat/extension/domain.rb,
lib/ravensat/dimacs/dimacs_decoder.rb,
lib/ravensat/dimacs/dimacs_encoder.rb,
lib/ravensat/extension/variable/variable.rb,
lib/ravensat/extension/variable/boolean_variable.rb,
lib/ravensat/extension/variable/integer_variable.rb,
lib/ravensat/extension/variable/undefined_variable.rb

Defined Under Namespace

Modules: Claw, Extension Classes: AndNode, DimacsDecoder, DimacsEncoder, InitialNode, NilNode, Node, NotNode, OprNode, OrNode, Solver, VarNode

Constant Summary

VERSION =

"1.1.1"