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.