mirror of
https://github.com/Ponce/slackbuilds
synced 2024-10-22 22:27:28 +02:00
d0c108251a
Signed-off-by: dsomero <xgizzmo@slackbuilds.org> |
||
---|---|---|
.. | ||
ladr-libtoolize.diff | ||
ladr.info | ||
ladr.SlackBuild | ||
README | ||
slack-desc |
LADR includes some mathematical programs like - prover 9 (automated theorem prover for first-order and equational logic) - mace4 (search for finite models and counterexamples)