1ISOFILTER(1)                General Commands Manual               ISOFILTER(1)
2
3
4

NAME

6       isofilter - removes isomorphic structures from mace4(1) models
7

SYNOPSIS

9       isofilter [options] < input-file > output-file
10       isofilter0 [options] < input-file > output-file
11       isofilter2 [options] < input-file > output-file
12

DESCRIPTION

14       This  manual  page  documents  briefly  the  isofilter,  isofilter0 and
15       isofilter2 commands.
16
17       If mace4(1) produces more than one structure, some  of  them  are  very
18       likely to be isomorphic to others. The program isofilter can be used to
19       remove isomorphic structures.
20

ALGORITHM

22       There are multiple isofilter variants providing alternative algorithms.
23
24       isofilter
25              Uses Occurrence Profiles algorithm.
26
27       isofilter2
28              Uses Canonical Forms algorithm.
29

OPTIONS

31       A summary of options is included below.
32
33       ignore_constants
34              Ignore all constants during the isomorphism tests.
35
36       check <operations>
37              Consider only the listed operations in the isomorphism tests.
38
39       output <operations>
40              Output only the listed operations.
41
42       wrap   Enclose the resulting structures in  list(interpretations).  ...
43              end_of_list.
44

SEE ALSO

46       mace4(1).
47       Full documentation for isofilter is found in the prover9 manual, avail‐
48       able   on   Debian   systems   in   the    prover9-doc    package    at
49       /usr/share/doc/prover9-doc/manual/index.html.
50

AUTHOR

52       isofilter was written by William McCune <mccune@cs.unm.edu>
53
54       This    manual    page    was    written    by    Peter   Collingbourne
55       <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used  by  oth‐
56       ers).
57
58
59
60                               January 20, 2007                   ISOFILTER(1)