Module: Ravensat

Defined in:

lib/ravensat.rb,
lib/ravensat/solver.rb,
lib/ravensat/version.rb,
lib/ravensat/prop_var.rb,
lib/ravensat/prop_logic.rb

Defined Under Namespace

Classes: PropLogic, PropVar, Solver

Constant Summary

VERSION =

"0.1.0"