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	…
ladr-libtoolize.diff	…
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)