dsomero d0c108251a various: Update find command to match template. 11 years ago
..
README 4994e71c55 academic/ladr: Added to 12.0 repository 14 years ago
ladr-libtoolize.diff 060d2498f5 academic/ladr: Updated for version 2009_11A 14 years ago
ladr.SlackBuild d0c108251a various: Update find command to match template. 11 years ago
ladr.info 4248415dde Add REQUIRED field to .info files. 12 years ago
slack-desc 610e8461bb various: Fix slack-desc formatting and comment nit picks. 11 years ago

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)