ladr-2009_11A-x86_64-1_slack.txz


Advertisement

Description

ladr - Mathematical Programs

Property Value
Distribution Slackware 14.1
Repository Slackonly x86_64
Package filename ladr-2009_11A-x86_64-1_slack.txz
Package name ladr
Package version 2009_11A
Package release 1_slack
Package architecture x86_64
Package type txz
Homepage -
License -
Maintainer -
Download size 356.00 KB
Installed size 1.67 MB
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

Package Version Architecture Repository
ladr-2009_11A-i486-1_slack.txz 2009_11A i486 Slackonly
ladr - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package ladr-2009_11A-x86_64-1_slack.txz
Source Package -

Install Howto

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

Files

Path
/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/lib64/libladr.la
/usr/lib64/libladr.so.4.0.0
/usr/man/
/usr/man/man1/mace4.1.gz
/usr/man/man1/prover9.1.gz

See Also

Package Description
ladspa_sdk-1.13-x86_64-4_slack.txz Sound Plugin SDK
lalnview-3.0-x86_64-2_slack.txz Visualize local alignments
lame-3.99.5-x86_64-1_slack.txz LAME Ain't an Mp3 Encoder
lapack-3.6.0-x86_64-1_slack.txz linear algebra routines
lapack-atlas-3.3.1-x86_64-1_slack.txz LAPACK customized for build against ATLAS
lapack95-3.0-x86_64-3_slack.txz Fortran 95 interface to LAPACK
laptop-mode-tools-1.61-x86_64-1_slack.txz Linux laptop power saving package
lash-0.6.0.594-x86_64-3_slack.txz audio session management system
lastfm-2.1.36-x86_64-3_slack.txz Official player from Last.fm
lastfmlib-0.4.0-x86_64-1_slack.txz Last.fm Submission Protocol Library
laszip-2.2.0-x86_64-1_slack.txz free and lossless LiDAR compression
latrace-0.5.11-x86_64-1_slack.txz library call trace
lazarus-1.4.4-x86_64-2_slack.txz Rapid Application Development Tool for FreePascal
lbdb-0.38-x86_64-1_slack.txz The Little Brother's Database
lbench-2.6-x86_64-1_slack.txz simple Linux multithread benchmarking tool
Advertisement
Advertisement