EnglishFrenchSpanish

OnWorks favicon

anldp - Online in the Cloud

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

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


anldp - implementation of Davis-Putnam propositional satisfiability procedure

SYNOPSIS


anldp [options] < input-file > output-file

DESCRIPTION


This manual page documents briefly the anldp command.

anldp is an implementation of a Davis-Putnam procedure for the propositional
satisfiability problem. anldp exposes the procedure used by mace2(1) to determine
satisfiability. anldp can also take statements in first-order logic with equality and a
domain size n then search for models of size n. The first-order model-searching code
transforms the statements into set of propositional clauses such that the first-order
statements have a model of size n if and only if the propositional clauses are
satisfiable. The propositional set is then given to the Davis-Putnam code; any
propositional models that are found can be translated to models of the first-order
statements. The first-order model-searching program accepts statements only in a flattened
relational clause form without function symbols.

OPTIONS


-s Perform subsumption. (Subsumption is always performed during unit preprocessing.)

-p Print models as they are found.

-m n Stop when the nth model is found.

-t n Stop after n seconds.

-k n Allocate at most n kbytes for storage of clauses.

-x n Quasigroup experiment n.

-B file
Backup assignments to a file.

-b n Backup assignments every n seconds.

-R file
Restore assignments from a file. The file typically contains just the last line of
a backup file. Other input, in particular the clauses, must be given exactly as in
the original search.

-n n This option is used for first-order model searches. The parameter n specifies the
domain size, and its presence tells the program to read first-order flattened
relational input clauses instead of propositional clauses.

Use anldp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Eclipse Checkstyle Plug-in
    Eclipse Checkstyle Plug-in
    The Eclipse Checkstyle plug-in
    integrates the Checkstyle Java code
    auditor into the Eclipse IDE. The
    plug-in provides real-time feedback to
    the user about viol...
    Download Eclipse Checkstyle Plug-in
  • 2
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player is a free media player
    software, part based on WMP and VLC. The
    player is in a minimalist style, with
    more than ten theme colors, and can also
    b...
    Download AstrOrzPlayer
  • 3
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters ma...
    Download movistartv
  • 4
    Code::Blocks
    Code::Blocks
    Code::Blocks is a free, open-source,
    cross-platform C, C++ and Fortran IDE
    built to meet the most demanding needs
    of its users. It is designed to be very
    extens...
    Download Code::Blocks
  • 5
    Amidst
    Amidst
    Amidst or Advanced Minecraft Interface
    and Data/Structure Tracking is a tool to
    display an overview of a Minecraft
    world, without actually creating it. It
    can ...
    Download Amidst
  • 6
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • More »

Linux commands

  • 1
    a56
    a56
    A56 - Motorola DSP56001 assembler ...
    Run a56
  • 2
    a68g
    a68g
    a68g - Algol 68 Genie, an Algol 68
    compiler-interpreter ...
    Run a68g
  • 3
    copt
    copt
    copt - peephole optimizer SYSNOPIS:
    copt file.. DESCRIPTION: copt is a
    general-purpose peephole optimizer. It
    reads code from its standard input and
    writes an ...
    Run copt
  • 4
    copydatabase-1.3
    copydatabase-1.3
    copydatabase - Perform a
    document-by-document copy of one or more
    Xapian databases ...
    Run copydatabase-1.3
  • 5
    fweelin
    fweelin
    freewheeling � live looping musical
    instrument ...
    Run fweelin
  • 6
    fwexec
    fwexec
    fwexec - program to upload and rexecute
    image file to a connected NXT device ...
    Run fwexec
  • More »

Ad