slackbuilds

History

Heinz Wiesinger 45c34e6507 academic/ladr: Don't install *.la file Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>		2021-09-16 00:45:35 +07:00
..
README	academic/ladr: Added to 12.0 repository	2010-05-11 20:00:01 +02:00
ladr-libtoolize.diff	academic/ladr: Updated for version 2009_11A	2010-05-13 00:20:07 +02:00
ladr.SlackBuild	academic/ladr: Don't install *.la file	2021-09-16 00:45:35 +07:00
ladr.info	academic/ladr: Updated maintainer email	2021-07-03 10:13:09 +02:00
slack-desc	academic/ladr: Switch homepage and download to https.	2018-10-06 07:25:21 +07:00

README

LADR includes some mathematical programs like
 - prover 9 (automated theorem prover for first-order and equational logic)
 - mace4 (search for finite models and counterexamples)