/usr/share/doc/prover9-doc/examples/bool-ring.out is in prover9-doc 0.0.200902a-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | a3 + b3 + a2 * b2 + a2 * a0 * b0 * a1 + a2 * a0 * b0 * b1 + a2 * a0 * a1 * cin + a2 * a0 * b1 * cin + a2 * b0 * a1 * cin + a2 * b0 * b1 * cin + a2 * a1 * b1 + b2 * a0 * b0 * a1 + b2 * a0 * b0 * b1 + b2 * a0 * a1 * cin + b2 * a0 * b1 * cin + b2 * b0 * a1 * cin + b2 * b0 * b1 * cin + b2 * a1 * b1.
% rewriter bool-ring.demods: rewrote 1 terms with 5682 rewrite steps in 0.57 seconds.
|