ladr-2009_11A-i586-1_slonly.txz


Advertisement

Description

ladr - Mathematical Programs

Distribution: Slackware 14.2
Repository: Slackonly i486
Package name: ladr
Package version: 2009_11A
Package release: 1_slonly
Package architecture: i586
Package type: txz
Installed size: 1.61 MB
Download size: 340.00 KB
Official Mirror: packages.slackonly.com
LADR includes some mathematical programs like - prover 9 (automated theorem prover for first-order and equational logic) - mace4 (search for finite models and counterexamples) Homepage: http://www.cs.unm.edu/~mccune/prover9/

Alternatives

    Download

    Source package: unknown

    Install Howto

    1. Download ladr-2009_11A-i586-1_slonly.txz
    2. Install ladr txz package:
      # upgradepkg --install-new ladr-2009_11A-i586-1_slonly.txz

    Files

    • /install/doinst.sh
    • /install/slack-desc
    • /usr/
    • /usr/bin/attack
    • /usr/bin/autosketches4
    • /usr/bin/clausefilter
    • /usr/bin/clausetester
    • /usr/bin/complex
    • /usr/bin/directproof
    • /usr/bin/dprofiles
    • /usr/bin/fof-prover9
    • /usr/bin/gen_trc_defs
    • /usr/bin/get_givens
    • /usr/bin/get_interps
    • /usr/bin/get_kept
    • /usr/bin/gvizify
    • /usr/bin/idfilter
    • /usr/bin/interpfilter
    • /usr/bin/interpformat
    • /usr/bin/isofilter
    • /usr/bin/isofilter0
    • /usr/bin/isofilter2
    • /usr/bin/ladr_to_tptp
    • /usr/bin/latfilter
    • /usr/bin/looper
    • /usr/bin/mace4
    • /usr/bin/miniscope
    • /usr/bin/mirror-flip
    • /usr/bin/newauto
    • /usr/bin/newsax
    • /usr/bin/olfilter
    • /usr/bin/perm3
    • /usr/bin/prooftrans
    • /usr/bin/prover9
    • /usr/bin/prover9-mace4
    • /usr/bin/renamer
    • /usr/bin/rewriter
    • /usr/bin/sigtest
    • /usr/bin/test_clause_eval
    • /usr/bin/test_complex
    • /usr/bin/tptp_to_ladr
    • /usr/bin/unfast
    • /usr/bin/upper-covers
    • /usr/doc/
    • /usr/doc/ladr-2009_11A/COPYING
    • /usr/doc/ladr-2009_11A/Changelog
    • /usr/doc/ladr-2009_11A/README.AMD_64
    • /usr/doc/ladr-2009_11A/README.first
    • /usr/doc/ladr-2009_11A/README.make
    • /usr/doc/ladr-2009_11A/README.release-reminder
    • /usr/doc/ladr-2009_11A/ladr.SlackBuild
    • /usr/lib/libladr.la
    • /usr/lib/libladr.so.4.0.0
    • /usr/man/
    • /usr/man/man1/mace4.1.gz
    • /usr/man/man1/prover9.1.gz
    Advertisement
    Advertisement