Linux software

 
Contact Us
misc : otter
A theorem prover and finite model searcher
Otter is an automated deduction system (theorem prover) for first-order logic with equality developed at Argonne National Laboratories.
Version number : 3.3f
Md5 : MD5 (otter-3.3f.tar.gz) = 795711b307cc1316e08d3d4f46c998c9 SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a SIZE (otter-3.3f.tar.gz) = 2554827
Linux Software