Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-09-29 17:37:55 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/ladr: Fix slack-desc.

Browse source
This commit is contained in:
B. Watson 2016-11-13 22:18:42 -05:00 committed by Willy Sudiarto Raharjo
parent c78e1702d5
commit 6b4bf0bc6a
No known key found for this signature in database
GPG key ID: 887B8374D7333381
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
academic/ladr/slack-desc
View file

@ -9,9 +9,9 @@
ladr: ladr (Mathematical Programs)
ladr:
ladr: LADR includes some mathematical programs like
ladr: - prover 9 (automated theorem prover for first-order and equational
ladr: logic)
ladr: - mace4 (search for finite models and counterexamples)
ladr: - prover 9 (automated theorem prover for first-order and equational
ladr: logic)
ladr: - mace4 (search for finite models and counterexamples)
ladr:
ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/
ladr: