ladr-2009_11A-i586-1_slonly.txz


Advertisement

Description

ladr - Mathematical Programs

Property Value
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

Package Version Architecture Repository
ladr-2009_11A-x86_64-1_slonly.txz 2009_11A x86_64 Slackonly
ladr - - -

Download

Type URL
Binary Package ladr-2009_11A-i586-1_slonly.txz
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

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/lib/libladr.la
/usr/lib/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-i586-4_slonly.txz Sound Plugin SDK
lalnview-3.0-i586-2_slonly.txz Visualize local alignments
lame-3.99.5-i586-1_slonly.txz LAME Ain't an Mp3 Encoder
lapack-3.7.1-i586-1_slonly.txz linear algebra routines
lapack-atlas-3.6.1-i586-1_slonly.txz LAPACK sources for build against ATLAS
lapack95-3.0-i586-1_slonly.txz Fortran 95 interface to LAPACK
lapacke-3.7.1-i586-1_slonly.txz C interface to LAPACK
laptop-mode-tools-1.71-i586-1_slonly.txz Linux laptop power saving package
larn-14.0.2-i586-1_slonly.txz adventure game
lash-0.6.0.594-i586-3_slonly.txz audio session management system
lastfm-2.1.36-i586-1_slonly.txz Official player from Last.fm
lastfmlib-0.4.0-i586-1_slonly.txz Last.fm Submission Protocol Library
laszip-2.2.0-i586-1_slonly.txz free and lossless LiDAR compression
latrace-0.5.11-i586-1_slonly.txz library call trace
lazarus-1.6.4-i586-1_slonly.txz Rapid Application Development Tool for FreePascal
Advertisement
Advertisement