This is the command isofilter2 that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
isofilter - removes isomorphic structures from mace4(1) models
SYNOPSIS
isofilter [options] < input-file > output-file
isofilter0 [options] < input-file > output-file
isofilter2 [options] < input-file > output-file
DESCRIPTION
This manual page documents briefly the isofilter, isofilter0 and isofilter2 commands.
If mace4(1) produces more than one structure, some of them are very likely to be
isomorphic to others. The program isofilter can be used to remove isomorphic structures.
ALGORITHM
There are multiple isofilter variants providing alternative algorithms.
isofilter
Uses Occurrence Profiles algorithm.
isofilter2
Uses Canonical Forms algorithm.
OPTIONS
A summary of options is included below.
ignore_constants
Ignore all constants during the isomorphism tests.
check <operations>
Consider only the listed operations in the isomorphism tests.
output <operations>
Output only the listed operations.
wrap Enclose the resulting structures in list(interpretations). ... end_of_list.
Use isofilter2 online using onworks.net services
