Packages

edu.toronto.cs.algebra	De Morgan algebra library.
edu.toronto.cs.beans	Beans for XChek GUI
edu.toronto.cs.beans.editors	Bean Editors
edu.toronto.cs.ctl	CTL Abstract Syntax Tree
edu.toronto.cs.ctl.antlr	ANTLR parser for CTL
edu.toronto.cs.cudd	Hand-crafted CUDD wrapper for Java
edu.toronto.cs.davinci	Provides interface to DaVinci graph layout program
edu.toronto.cs.gclang.parser	ANTLR parser for GCLang
edu.toronto.cs.grappa	An interface to Grappa graph drawing package
edu.toronto.cs.gui	Graphical Interaface to XChek multi-valued model-checker
edu.toronto.cs.jcudd	SWIG-generated wrapper for CUDD.
edu.toronto.cs.mdd	A library for Multi-valued Decision Diagrams (MDDs).
edu.toronto.cs.modelchecker	Basic CTL model-checking engine based on MvSet
edu.toronto.cs.mvset	Provides several symbolic implementations of multi-valued sets
edu.toronto.cs.proof	Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD)
edu.toronto.cs.proof2	Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW)
edu.toronto.cs.simulator	A model simulator for XChek (Victor).
edu.toronto.cs.smv	Provides classes to represent SMV models
edu.toronto.cs.smv.parser	ANTLR parsers for SMV models
edu.toronto.cs.tlq	Classes used by TLQSolver extension of XChek
edu.toronto.cs.util	Miscellaneous useful utility classes.
edu.toronto.cs.util.caching
edu.toronto.cs.util.gui
edu.toronto.cs.util.userprompt
edu.toronto.cs.xkripke	Classes to represent, manipulate, and parse XML representation of XKripke structures.