EnglishFrenchSpanish

Ad


OnWorks favicon

isofilter2 - Online in the Cloud

Run isofilter2 in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    DivFix++
    DivFix++
    DivFix++ is yours AVI video repair and
    preview software. It designed for repair
    and preview files which are on download
    from ed2k(emule), torrent, gnutella, ftp...
    Download DivFix++
  • 2
    JBoss Community
    JBoss Community
    Community driven projects featuring the
    latest innovations for cutting edge
    apps. Our flagship project JBoss AS is
    the leading Open Source,
    standards-compliant...
    Download JBoss Community
  • 3
    Django Filer
    Django Filer
    django Filer is a file management
    application for django that makes
    handling files and images a breeze.
    django-filer is a file management
    application for djang...
    Download Django Filer
  • 4
    xCAT
    xCAT
    Extreme Cluster Administration Toolkit.
    xCAT is a scalable cluster management
    and provisioning tool that provides
    hardware control, discovery, and OS
    diskful/di...
    Download xCAT
  • 5
    Psi
    Psi
    Psi is cross-platform powerful XMPP
    client designed for experienced users.
    There are builds available for MS
    Windows, GNU/Linux and macOS.. Audience:
    End Users...
    Download Psi
  • 6
    Blobby Volley 2
    Blobby Volley 2
    Official continuation of the famous
    Blobby Volley 1.x arcade game..
    Audience: End Users/Desktop. User
    interface: OpenGL, SDL. Programming
    Language: C++, Lua. C...
    Download Blobby Volley 2
  • More »

Linux commands

Ad