Engine

Classes
class	edu.mit.csail.sdg.squander.engine.ForgeConverter
class	edu.mit.csail.sdg.squander.engine.ForgeEval
class	edu.mit.csail.sdg.squander.engine.Heap
class	edu.mit.csail.sdg.squander.engine.Heap2Bounds
interface	edu.mit.csail.sdg.squander.engine.ISquander
interface	edu.mit.csail.sdg.squander.engine.ISquanderResult
class	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl
class	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
class	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPart2Impl
class	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl
class	edu.mit.csail.sdg.squander.engine.SquanderEval
class	edu.mit.csail.sdg.squander.engine.SquanderEval2
class	edu.mit.csail.sdg.squander.engine.SquanderImpl
class	edu.mit.csail.sdg.squander.engine.SquanderReporter
class	edu.mit.csail.sdg.squander.engine.SquanderResult
Packages
package	edu.mit.csail.sdg.squander.engine
package	edu.mit.csail.sdg.squander.engine.kk

---

Detailed Description

This module contains the core classes responsible for executing specifications