EnglishFrenchSpanish

Ad


OnWorks favicon

clausetester - Online in the Cloud

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

This is the command clausetester 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


clausetester - check formulas in models

SYNOPSIS


clausetester <interpretations-file> < <formulas-file> > <annotated-formulas-file>

DESCRIPTION


This manual page documents briefly the clausetester command.

This program takes a set of interpretations and stream of formulas. For each formula, the
interpretations in which the formula is true are shown, and at the end the number of
formulas true in each interpretation is shown.

Use clausetester online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

  • 1
    abicheck
    abicheck
    abicheck - check application binaries
    for calls to private or evolving symbols
    in libraries and for static linking of
    some system libraries. ...
    Run abicheck
  • 2
    abicompat
    abicompat
    abicompat - check ABI compatibility
    abicompat checks that an application
    that links against a given shared
    library is still ABI compatible with a
    subsequent ve...
    Run abicompat
  • 3
    cpphs-hugs
    cpphs-hugs
    cpphs - liberalised cpp-a-like
    preprocessor for Haskell ...
    Run cpphs-hugs
  • 4
    cpphs
    cpphs
    cpphs - liberalised cpp-a-like
    preprocessor for Haskell ...
    Run cpphs
  • 5
    gbase
    gbase
    gbase - small numeric base converter ...
    Run gbase
  • 6
    gbbin
    gbbin
    gbbin - A program to bin data ...
    Run gbbin
  • More »

Ad