/usr/share/mozart/doc/cpiref/index.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>The Mozart Constraint Extensions Reference</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=reference&name=CPI">Print</A></P><H1 align="center" class="title">The Mozart Constraint Extensions Reference</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A></H2><BLOCKQUOTE><P> This reference manual explains all abstractions provided to extend Mozart Oz 3 constraint capabilities. It is intended to be used in conjunction with the document <A href="../cpitut/index.html">``The Mozart Constraint Extensions Tutorial''</A>. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><UL class="toc"><LI><A href="ip.html#chapter.ip">1 Implementing Propagators</A></LI></UL><UL class="toc"><LI><A href="ct.html#chapter.ct">2 Building Constraint Systems from Scratch</A></LI></UL><UL class="toc"><LI><A href="lp.html#chapter.lp">3 Employing Linear Programming Solvers</A></LI></UL><UL class="toc"><LI><A href="pel.html#chapter.pel">4 Propagation Engine Library</A></LI></UL><UL class="toc"><LI><A href="idx.html#label378">Index</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|