le { align : center }
div.abstract { margin-left: 20%; margin-right: 10%; }
h3.abstract  { align : center }
div.verse, div.quote, div.quotation {
  margin-left : 10%; 
  margin-right : 10%;
}
</style>


</head>
<body>


<div align="center"><p>

    </p><h1 class="maketitle">CILOG User Manual<br>Version 0.14</h1>
    <h2 class="maketitle"> <a href="http://www.cs.ubc.ca/spider/poole/">David Poole</a>
</h2>
    <h3 class="maketitle">November 23, 2004</h3>
    <p></p></div>
<div class="abstract"><h3 class="abst