Você pode baixar OtterFace-8 10.2 da nossa biblioteca de programas de graça. A seguinte versão é a mais frequentemente baixada pelos usuários do programa: 10.2. Nosso antivírus conferiu esse download e o avaliou como 100% seguro.
O tamanho do arquivo do último instalador disponível para download é de 2.9 MB. O desenvolvedor do OtterFace-8 é William McCune. O software está dentro de Produtividade, na subcategoria Ferramentas de Escritório. O instalador do OtterFace-8 é chamado geralmente de OtterFace8.dmg.
Do desenvolvedor:
OtterFace-8 is a simple graphical user interface for Otter and Mace2. (an automated deduction system which is designed to prove theorems stated in first-order logic with equality). It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.
Confira mais programas, tais como ffmpegX, MacSpice ou Filmcalculator, que podem ser similares a OtterFace-8.