<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "DTD/xhtml1-transitional.dtd">
<!-- saved from url=(0056)http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man.html -->
<html xmlns="http://www.w3.org/1999/xhtml"><!-- XML file produced from file: cilog_man.tex
     using Hyperlatex v 2.7 (c) Otfried Cheong
     on Emacs 21.3.50.2, Tue Nov 23 15:59:30 2004 --><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>CILOG User Manual</title>

<style type="text/css">
.maketit